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

If the thumbnail size is xx.5 %, the dock does not appear on mouse hover #181

Open demokritos opened 5 years ago

demokritos commented 5 years ago

Linux Distribution version

Arch Linux

Gnome Shell version

3.34.1

Xorg or Wayland (or both)

Xorg

Extension version or branch

master

Description of the problem

If the thumbnail size is not integer %, the dock does not appear on mouse hover.

Steps to reproduce the problem

  1. Set the workspace thumbnail size to 12.5% in extension preferences
  2. Turn on Autohide
  3. Move mouse cursor to the screen edge