search

passingthru67 / workspaces-to-dock

A gnome shell extension that transforms the workspaces into an intellihide dock
https://extensions.gnome.org/extension/427/workspaces-to-dock/
GNU General Public License v3.0
262 stars 54 forks source link

Top and bottom margin in overview are not equal #180

Open bdaase opened 5 years ago

bdaase commented 5 years ago

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:

Screenshot from 2019-10-03 09-19-29

As you can see, the top margin is way larger than the bottom margin.

Steps to reproduce the problem

  1. Open any window
  2. Open the overview
passingthru67 commented 5 years ago

@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.