This bug was fixed in the package gnome-shell-extension-autohidetopbar -
20161203-1ubuntu1
---
gnome-shell-extension-autohidetopbar (20161203-1ubuntu1) zesty; urgency=medium
* Add gnome324-compat.patch:
- Backport git commit to make compatible with GNOME 3.24 (LP: #1683154)
--
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
This bug was fixed in the package gnome-shell-extension-autohidetopbar -
20161203-1ubuntu1
---
gnome-shell-extension-autohidetopbar (20161203-1ubuntu1) zesty; urgency=medium
* Add gnome324-compat.patch:
- Backport git commit to make compatible with GNOME 3.24 (LP: #1683154)
--
Hello Jeremy, or anyone else affected,
Accepted gnome-shell-extension-autohidetopbar into zesty-proposed. The
package will build now and be available at
https://launchpad.net/ubuntu/+source/gnome-shell-extension-
autohidetopbar/20161203-1ubuntu1 in a few hours, and then in the
-proposed repository
** Description changed:
Impact
+ --
+ GNOME 3.24 (used in Ubuntu 17.04) switched from mozjs24 to mozjs38. mozjs38
has stricter syntax requirements which means many extensions need to adapt.
+
+ The Hide Top Bar extension's Preferences dialog does not work and
+ displays this error message:
