- attached desktop-scroller_overview.patch
global.overlay_group is undefined
Issue #1
new
global.overlay_group
in extension.js:63 returns undefined, what causes type error in line 83. Gnome Shell 3.12.2. Extension doesn't work at all.
Comments (2)
-
-
repo owner Thanks Carl, I will try to merge it as soon as I have some time.
- Log in to comment
Patch for compatibility with shell 3.14, hopefully also 3.16 and 3.12…