Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

use mouse wheel to switch between opened apps like in Xfce #1274

Closed
crysman opened this issue Jul 18, 2020 · 9 comments
Closed

use mouse wheel to switch between opened apps like in Xfce #1274

crysman opened this issue Jul 18, 2020 · 9 comments

Comments

@crysman
Copy link

crysman commented Jul 18, 2020

Would be nice to be able to switch between opened apps with mouse wheel (scrolling button) when mouse pointer is located in main left menu area - like in Xfce.

Why? Because it's faster.

Or is it somehow already tunable somewhere?

Thanks!

backlink here: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1886075

@DoctorRover
Copy link

There is this function in Dash to Dock.
It can be activated using Dconf Editor. Set the parameter 'org.gnome.shell.extensions.dash-to-dock' to be equal to 'cycle-windows'.
It can also be easily done by running this command:

gsettings set org.gnome.shell.extensions.dash-to-dock scroll-action 'cycle-windows'

Most likely, it can be done through the Dash to Dock extension settings. I'm not sure since I use Ubuntu Dock.

@crysman
Copy link
Author

crysman commented Jul 20, 2020

I would like to see it in GNOME tweaks:
image

is it possible? Because it's a good practice to have things done from one place - so tweaking GNOME via existing GNOME tweaks...

@vanvugt
Copy link
Collaborator

vanvugt commented Jul 21, 2020

It's an extension so Gnome Tweaks is not appropriate. Instead the extension would need to be given a configuration GUI of its own that you would access in the Extensions app.

@crysman
Copy link
Author

crysman commented Jul 26, 2020

OK, I've installed manually dash-to-dock GNOME extension and it works, thanks a lot!

What is very strange, though, is that it works even with the extension actually disabled in gnome-tweaks:
image

restarting gnome shell (ALT+F2 -> r -> ENTER) does not help.

I believe this is a bug - isn't it? Or any explanation? Thanks

And one bonus question:
Do you know any way how to switch between all opened apps using mousewheel while cursor is on the empty space of the bar?

@DoctorRover
Copy link

You cannot disable the built-in extensions (like Ubuntu Dock) from Gnome Tweaks. You can turn off the switcher there but the extension remains active. This is how it has been from the moment of switching from Unity to Gnome sHell.
To disable the built-in extensions, use Extensions application. This is a dedicated app to deal with extensions.

@DoctorRover
Copy link

I suggest closing this issue since the feature which was initially requested is actually already available in DtD.

@crysman
Copy link
Author

crysman commented Aug 10, 2020

well, although I have it disabled in extensions:
image

it still works (switching apps via mousewheel) - that is weird, isn't it? Obviously, the extension IS active despite it looks like INACTIVE. One more proof: I can see little squares instead of default little circles:
image

Shouldn't we make a separate issue on this?

@DoctorRover
Copy link

DoctorRover commented Aug 10, 2020

No, DtD is not active. This is Ubuntu Dock which is active in your situation.

No, it is not weird. It is just a nature of Ubuntu Dock. Ubuntu Dock is a "soft fork" of DtD which means it supports all options of DtD. Moreover, it shares its settings with DtD, i.e. Ubuntu Dock gets its options from the same place in gsettings where DtD stores them. It just doesn't install the DtD extension settings GUI. As a result, if you change any options via gsettings (similar to what I described in my first reply to this issue) it will affect Ubuntu Dock. If you install DtD and change any settings in its GUI, Ubuntu Dock reflects the changes. So, the behavior you observe is by design.

No, you shouldn't make a new issue since everything goes as intended in your case.

@vanvugt
Copy link
Collaborator

vanvugt commented May 2, 2023

Duplicate of #811

@vanvugt vanvugt marked this as a duplicate of #811 May 2, 2023
@vanvugt vanvugt closed this as not planned Won't fix, can't repro, duplicate, stale May 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants