workspaces-to-dock
workspaces-to-dock copied to clipboard
Enhancement suggestions
Hello, I am using this great extension and I can't imagine Gnome without it. I have two suggestions:
-
Can you relax the restrictions on "Top margin" and "Bottom margin"? It is not possible to set values larger than 25%.
-
It would be great to be able to change thumbnail size quickly without entering to the extension preferences (maybe with a shortcut, or a +/- button). If there is a way to do this by from terminal then I can simply bind a keyboard shortcut to it?
Thanks.