Ubuntu
gnome-shell-extension-autohidetopbar package

  1. Bug #1683154
  2. Comment #3

Comment 3 for bug 1683154

Revision history for this message
Jeremy Bícha (jbicha) wrote :

I installed gnome-shell-extension-autohidetopbar 20161203-1ubuntu1 on Ubuntu GNOME 17.04. After logging out and logging back in, I enabled the Hide Top Bar extension in Tweak Tool. I clicked the gear button to view the Preferences. GNOME Shell did not quickly crash like I experienced in some of my testing with the old version.