** 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: + + TypeError: redeclaration of let settings_vbox + + Stack trace: + Application<._getExtensionPrefsModule@resource:///org/gnome/shell/extensionPrefs/main.js:74:13 + wrapper@resource:///org/gnome/gjs/modules/lang.js:178:22 + Application<._selectExtension@resource:///org/gnome/shell/extensionPrefs/main.js:89:31 + wrapper@resource:///org/gnome/gjs/modules/lang.js:178:22 + Application<._extensionFound/<@resource:///org/gnome/shell/extensionPrefs/main.js:206:17 + main@resource:///org/gnome/shell/extensionPrefs/main.js:399:5 + @<main>:1:49 + + + I had a few gnome-shell crashes with this extension enabled. + https://github.com/mlutfy/hidetopbar/issues/132 suggests that the same bug fix could fix that issue too. + + Test Case + --------- + From Ubuntu GNOME 17.04: + sudo apt install gnome-shell-extenaion-autohidetopbar + Log out and log back in. + Open Tweak Tool. Switch to the Extensions panel and enable Hide Top Bar. + Click the gear button next to Hide Top Bar. The preferences dialog should display without an error. + + Regression Potential + -------------------- + This obviously makes this package work a lot better.
-- 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
