
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <font face="Courier New, Courier, monospace">I realized when I use

      gnome-shell extension Dock Extension, which is a ball then turns

      into dock, bug happens and gnome-shell freezes. But when I use

      gnome-shell extensio Dock Extesion, which is a bar hidden then

      turns into dock bug didn't happen.<br>

      <br>

      So gnome-shell freezes when Dock Extension (ball) is on.<br>

    </font>

  </body>

</html>