workspaces-to-dock
workspaces-to-dock copied to clipboard
Top and bottom margin in overview are not equal
Linux Distribution version
Fedora 31
Gnome Shell version
Gnome Shell 3.34
Xorg or Wayland (or both)
both
Extension version or branch
3.34.52
Description of the problem
When having the workspaces placed on top, in the overview there is a different margin from the active windows to the top (the workspace dock) and to the bottom (the end of the screen). See this screenshot:
As you can see, the top margin is way larger than the bottom margin.
Steps to reproduce the problem
- Open any window
- Open the overview
@BjoernDaase I see what you're talking about. I hadn't noticed it because I don't use the dock in the top position much. I'll look into it.