2017-04-16 15:03:50 |
Jeremy Bícha |
bug |
|
|
added bug |
2017-04-16 15:12:25 |
Jeremy Bícha |
description |
Impact |
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. |
|
2017-04-21 16:16:28 |
Andy Whitcroft |
gnome-shell-extension-autohidetopbar (Ubuntu Zesty): status |
New |
Fix Committed |
|
2017-04-21 16:16:30 |
Andy Whitcroft |
bug |
|
|
added subscriber Ubuntu Stable Release Updates Team |
2017-04-21 16:16:34 |
Andy Whitcroft |
bug |
|
|
added subscriber SRU Verification |
2017-04-21 16:16:38 |
Andy Whitcroft |
tags |
zesty |
verification-needed zesty |
|
2017-04-22 09:28:41 |
Launchpad Janitor |
gnome-shell-extension-autohidetopbar (Ubuntu): status |
In Progress |
Fix Released |
|
2017-04-28 02:29:54 |
Jeremy Bícha |
tags |
verification-needed zesty |
verification-done zesty |
|
2017-05-03 12:55:29 |
Launchpad Janitor |
gnome-shell-extension-autohidetopbar (Ubuntu Zesty): status |
Fix Committed |
Fix Released |
|
2017-05-03 12:55:32 |
Robie Basak |
removed subscriber Ubuntu Stable Release Updates Team |
|
|
|