Closed wooque closed 3 years ago
Yes, it's a reasonable point of view. I waited for someone to ask, because it does not annoy me.
I did not add a spacing. It's GNOME natural spacing. But I'll look at a solution now.
Done: https://github.com/fthx/babar/commit/861419cb2dd7d421894d0bc91f97b5f9796c48c2 You can find the zip here too: https://extensions.gnome.org/review/download/22276.shell-extension.zip
Please test. :-)
works like a charm thanks :+1:
v21 avoids an error that sometimes happen when playing with some options and disabling/enabling/disabling extension. You can find it here: https://extensions.gnome.org/review/download/22286.shell-extension.zip The error is harmless, especially when you don't play with options, but I advise you to update.
It seems to me that there are too much space between favorites and workspaces/tasks