search

passingthru67 / workspaces-to-dock

A gnome shell extension that transforms the workspaces into an intellihide dock
https://extensions.gnome.org/extension/427/workspaces-to-dock/
GNU General Public License v3.0
262 stars 54 forks source link

Please don't give up this project! #213

Open theoryfate opened 4 years ago

theoryfate commented 4 years ago

Gnome's workspace switching is like a pile of garbage!

It is this extension that makes the gnome workspace truly usable!

Since I upgraded to gnome 3.38 and this extension failed, I have not used gnome workspace again!

Please don't give up this project!

If your time is not enough, you can no longer add new features, just keep the original features available in the new version of gnome, and accept pull requests from the community.

RensAlthuis commented 4 years ago

I can't really promise anything, but I will probably be maintaining my own fork.. or keep it mostly functioning at least I'm updating to 3.38 right now. So if it breaks I'll take a look.

theoryfate commented 4 years ago

Please pull requests.

This can help more people.

We need to update it to extensions.gnome.org, most people download the gnome extension from here.

@RensAlthuis

RensAlthuis commented 4 years ago

@theoryfate I'd prefer the update to be on the extensions site as well, but since this is no longer maintained I doubt the pr will actually be merged. Though I did create it, just in case.

Meantime you can just use my fork if you want The way I do it is by cloning the repo to some folder, and making a soft link from where ever you cloned it to: ~/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com

in my case that is: ln -s ~/Projects/workspaces-to-dock/workspaces-to-dock@passingthru67.gmail.com ~/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com

mithubin commented 3 years ago

Gnome's workspace switching is like a pile of garbage!

It is this extension that makes the gnome workspace truly usable!

This opinon: I share absolutely. Unfortunately, I cannot code. But what can we users do to save it to the future?

mwildam commented 3 years ago

I also highly depend on this extension.

Should be part of the standard Gnome-Desktop in reality.

theoryfate @.***> schrieb am Di., 6. Okt. 2020, 02:59:

Please pull requests.

This can help more people.

We need to update it to extensions.gnome.org, most people download the gnome extension from here.

@RensAlthuis https://github.com/RensAlthuis

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/passingthru67/workspaces-to-dock/issues/213#issuecomment-703968007, or unsubscribe https://github.com/notifications/unsubscribe-auth/ALU744TNFABFZDP2YEWXEZLSJJTWPANCNFSM4SECKWMQ .

wizerer commented 10 months ago

I don't want to say anything bad about GNOME, but this extension (Workspaces to Dock) is absolutely vital! It's the only extension that really helps in using the desktop environment! The current activity bar (in GNOME-45) shows that there are other desktops, and moving between them is pretty bad! There is no explicit indication of which applications are running on which desktop, and certainly no way to quickly and easily move to the desired desktop.

I stopped using GNOME when this extension was discontinued. So I decided to reinstall the system with the new GNOME-45 and what a disappointment I was to find it very hard to use!

Please! Don't abandon this Project! If the maintainer has indeed decided to abandon the project completely and does not want to return to it, perhaps someone has the strength, capabilities and not-creepy-hands to make a fork of this extension? ;-(

mwildam commented 10 months ago

On Thu, Jan 11, 2024 at 3:57 PM wizerer @.***> wrote:

I don't want to say anything bad about GNOME,

I think the introduction of the extensions in the current form was a big step forward, even if in the beginning it was a step back from unity to gnome.

but this extension (Workspaces to Dock) is absolutely vital! It's the only extension that really helps in using the desktop environment!

I loved this extension too, but definitely not the only one that is critical for efficiently using the desktop. In my case the custom hot corners extended extension with mouse and key buttons or mouse wheel configured for desktop switching on the right border of the screen is one of my workarounds here. And the custom hot corners extension does help a lot for other efficiency improvements.

I also used the top panel workspace scroll extension - but can be achieved too with custom hot corners extended setting the "toggle overview - window picker" when you move the mose to the upper border for instance. - Although it is named "custom hot corners", it does a lot more and corners can be defined to be not only the corner but also the border or just half of the border. And different actions for touching border with or without a mouse or keyboard button. So you have plenty of options to improve experience with shortcuts. I would recommend to try that extension as a substitute.

The current activity bar (in GNOME-45) shows that there are other desktops, and moving between them is pretty bad! There is no explicit indication of which applications are running on which desktop, and certainly no way to quickly and easily move to the desired desktop.

Yes, that was done very good in workspaces-to-dock, but in Gnome Settings->Multitasking you can decide at least, if task switching should consider only the current desktop or not.

HTH, Martin.