Too much spacing between dock and workspace

[Tuxino88]

without dash to dock

with dash to dock

[3v1n0]

There are two factors here that cause this to be problematic by making the space too small (see previous revisions):

• we'd make tooltips to cover windows or windows to cover icons
• we'd end up not showing the left/right workspaces, making impossible to move from one to another or to move windows there

[Tuxino88]

wanting to play with it, what would be the parameters to change?