Commit 7d66e8aca3d4

@@ -103,11 +103,5 @@ in
       mouse-sensitive = true;
       mouse-sensitive-fullscreen-window = false;
     };
-    "org/gnome/shell/extensions/hidetopbar" = {
-      enable-active-window = false;
-      enable-intellihide = true;
-      mouse-sensitive = true;
-      mouse-sensitive-fullscreen-window = false;
-    };
   };
 }

@@ -42,7 +42,11 @@
 
 Using =mr= for this
 
-** TODO Add gnome3 extensions
+** DONE Add gnome3 extensions
+CLOSED: [2020-10-02 Fri 12:05]
+:LOGBOOK:
+- State "DONE"       from "TODO"       [2020-10-02 Fri 12:05]
+:END:
 
 - [-] pomodoro (fixing it ?)
 - [X] [[https://github.com/bjarosze/gnome-bluetooth-quick-connect][bluetooth quick connect]]
@@ -54,7 +58,11 @@
 - [X] sound-output-device-chooser
 - [-] transparent gnome panel
 
-** TODO Enable bolt
+** DONE Enable bolt
+CLOSED: [2020-10-02 Fri 12:03]
+:LOGBOOK:
+- State "DONE"       from "TODO"       [2020-10-02 Fri 12:03]
+:END:
 
 ** DONE gnome settings
 CLOSED: [2020-10-01 Thu 18:11]