brorlandi / desktop-scroller-gnome-extension Goto Github PK

I followed README instructions, but no way.
GS does not list it amoung extensions.

I got it working with 3.30 by using this PR.

However now the overlay switcher (up and down arrows) always popup. How can I hide them?

Would be nice to have this as an option in the config.

Displays setup as shown in the image. Scrolling enabled on TOP and BOTTOM edges.

Four marked edges should enable scrolling. In fact only those marked with BLUE color work. The YELLOW does not because of little bug in positioning the monitor edge. The GREEN edge does not work, because implemented boundary edge detection does not assume this edge as a boundary one.

It happens that I over scroll due to the wheel sensibility.
I'd like an option to scroll just one workspace per time or a way to adjust wheel sensibility.
Thanks a lot.
Donato

Your extension switch between workspaces by scrolling my mouse wheel on the left, right, top or bottom edge of my (dual) screen but not when the mouse is over my desktop background.

In the registry I read:

DesktopScroller: Disconnecting 65565 from [0x561bc1575460 Gjs_ui_workspaceSwitcherPopup_WorkspaceSwitcherPopup.workspace-switcher-group:last-child]

and

DesktopScroller: actor: [0x561bc1575460 Gjs_ui_workspaceSwitcherPopup_WorkspaceSwitcherPopup.workspace-switcher-group:last-child]type (switcher) destroyed

and

Usage of object.actor is deprecated for AppMenuButton
get@resource:///org/gnome/shell/ui/environment.js:287:29
enable/signalShow<@/home/my-user/.local/share/gnome-shell/extensions/[email protected]/extension.js:14:9
fadeIn@resource:///org/gnome/shell/ui/panel.js:271:14
_sync@resource:///org/gnome/shell/ui/panel.js:380:18
_focusAppChanged@resource:///org/gnome/shell/ui/panel.js:341:14
actionMoveWorkspace@resource:///org/gnome/shell/ui/windowManager.js:2170:23
_showWorkspaceSwitcher@resource:///org/gnome/shell/ui/windowManager.js:2144:18
_showWorkspaceSwitcher@/home/my-user/.local/share/gnome-shell/extensions/desktop-scroller@brorlandi/extension.js:433:17
_onScrollEventSwitcher@/home/my-user/.local/share/gnome-shell/extensions/desktop-scroller@brorlandi/extension.js:390:22

I hope it helps to resolve.

Ubuntu 20.04.1 LTS
Gnome 3.36.8

Test with (Alt+F2 r Enter) and reboot

Thank you for your valuable work

I have scrolling enabled on top edge and just added a second monitor to my workstation. In the Gnome display settings I was trying to move the second display a tiny bit up relative to my main display to mirror the real-world relative height. However, this causes the "top edge" to only exist on the higher display, which in this case is my secondary. I would prefer to be able to scroll on both displays but really need it to work on my primary display, regardless of relative positioning of the displays. It should be possible to use the bottom edge of my main display as a weak substitute.

Even worse, if I want to use my secondary display in portrait mode then, since it's taller than my main display, it voids both the top and bottom edges. This is likely to be my main use-case for the second monitor so this is a big problem for me.

EDIT:
I see that you're calculating the top-most and bottom-most edges based on the relative positions of the displays. I see why this is necessary since you can't necessarily predict what the configuration of the displays is and what edges are actually borders between monitors.

To be clear, my displays are side-by-side so I don't expect to be able to scroll on the inner edge of either display. If I wanted to use the left or right edges, I would only expect to be able to scroll on the outer edges of my combined workspace. Maybe the extension can have a user-configurable setting to set which edges of which display should be scrollable regardless of relative position.

Add option to scroll workspaces from anywhere with hotkey - e.g. hold down ctrl and scroll wheel will move between workspaces.

We need to make some corrections to publish the new version on Gnome Extensions website.

Here is the rejected review:
https://extensions.gnome.org/review/28714

I'm not using Linux with Gnome anymore, I am using MacOS for some time, and I don't have the Gnome to develop and test it.

@thoemy can you help with this?

Thanks!

In principle it works, but: I have a strange screen-configuration, i have to admit. For me it works only in certain parts of the screen-border. Because this is hard to explain, I made a screenshot with some paintings on it: green means it works, red means it doesn't.

Any Questions? :)

I draw the white dashed box, because it doesn't stop working (on the left border) at the height where the right screen ends, but where the left screen would end, if it would start at the same height as the right screen.

I see no errors, settings of extension are opening. But scroll over wallpaper do nothing.

The top/bottom/left/right scrolling works in gnome-shell 3.26.2 (the one that comes with Ubuntu 17.10), but the wallpaper scroll function does not.

Hi, when using multiple monitor, this does not seem to work.

If I disable all but one monitor, then it works!

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.

ubuntu 19.10
gnome 3.34.1

Ubuntu 18.04 here, works ok on edge scrolling but won't switch workspaces when I scroll over the wallpaper (I have that option enabled).

I've tried:

• disable/enable the option
• Alt + F2 / r
• Uninstall/reinstall the extension

After changing the wallpaper image the desktop scroll doesn't work anymore.
After a Alt+F2 & r (restarting gnome shell) everything works as expected

I downloaded the plugin and it was awesome. Then I changed my wallpaper, and it stopped working. :(

Thanks for updating this extension in order to work with Ubuntu 20.10, but in the new version the adjustable scroll delay is missing. Can you add it back? F.i. this extension has a working scroll delay, but it's not working with 20.10.

If you enable edges, for example - top edge, and you try to scroll to the next workspace, in gnome 16.04 it just displays a notification on the screen like the workspace is being changed, but it actually doesn't change the workspace, it just does nothing.

I love the "wallpaper scroll" feature. Do you think could go further and let us switch workspaces whit mouse scroll wheel while moving windows ? This would let easy moving windows between workspaces !