Gnome extensions

From	Georgios <gpdsbe+debian@mailbox.org>
Newsgroups	linux.debian.user
Subject	Gnome extensions
Date	2021-08-15 19:00 +0200
Message-ID	<CMrEm-46h-5@gated-at.bofh.it> (permalink)
Organization	linux.* mail to news gateway

Show all headers | View raw

Hi!
I upgraded from debian 10 to debian 11 today and I noticed that a gnome
extension I really liked dont work on the latest gnome.
More specifically I used "workspace to dock" in order to have access to
workspaces.
I just put the mouse on the right side and the workspace list that is
viewed on overview was popping up on the right side. Really useful!

So I would like to ask if everyone knows an extension that can achieve
a similar result or if its possible to achieve the same result through
command line.
I search for similar extensions but I couldnt find any.

Thanks in advance!
George

Back to linux.debian.user | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Gnome extensions Georgios <gpdsbe+debian@mailbox.org> - 2021-08-15 19:00 +0200
  Re: Gnome extensions Keith Christian <keith1christian@gmail.com> - 2021-08-15 20:00 +0200

csiph-web