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.
** Tags removed: verification-needed ** Tags added: verification-done -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1683154 Title: [zesty] Hide Top Bar preferences dialog doesn't work To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-autohidetopbar/+bug/1683154/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
