Giters

BrOrlandi / Desktop-Scroller-GNOME-Extension

Switch between desktops scrolling at edge of the screen, including in overview. You can configure wich side of the screen the scroller will work.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Scrolling doesn't work Ubuntu 19.04 / X11 / GNOME Shell 3.32.2

fikoulli opened this issue · comments

commented

Hi all,
Thx for the best extension of gnome ever made.

  • I had desktop scroller working very well by adding the line "3.32.2" to the file metadata.json.
  • For some reason I had to delete my user and create a new one.
  • I added the shell version to the file but no scrolling.
  • I found in the log this error :

Sep 14 17:43:45 pc gnome-shell[1465]: JS ERROR: TypeError: display is null#012_showWorkspaceSwitcher@resource:///org/gnome/shell/ui/windowManager.js:2137:13#012_showWorkspaceSwitcher@/home/abc/.local/share/gnome-shell/extensions/desktop-scroller@brorlandi/extension.js:436:9#012_onScrollEventSwitcher@/home/abc/.local/share/gnome-shell/extensions/desktop-scroller@brorlandi/extension.js:396:17

Plz help.
Thanks for your work.

commented

You're still using Ubuntu 19.04? Will close it otherwise.