ikalnytskyi / gnome-shell-extension-icon-hider

Icon Hider is a gnome-shell extension for managing status area items.
Other
31 stars 11 forks source link

Minor ES6 and GNOME 3.32 cleanup #43

Open jonafato opened 5 years ago

jonafato commented 5 years ago

Per https://wiki.gnome.org/AndyHolmes/Sandbox/Creating#Extension_Utils, convenience.js is now provided by GNOME as ExtensionUtils. As such, it no longer needs to be included here.

Additionally, GNOME now logs warnings when exporting variables declared with let or const. Using var here silences these warnings and should prevent unexpected breakage in the future.