workspaces-to-dock icon indicating copy to clipboard operation
workspaces-to-dock copied to clipboard
verified publisher icon passingthru67

Force closing the dock when leaving overview

Open 73 opened this issue 6 years ago • 6 comments

First of all: Thank you! This extension is really useful and a must-have!

###Linux Distribution version Ubuntu 18.10

###Gnome Shell version GNOME Shell 3.30.1

###Xorg or Wayland (or both) x11

###Extension version or branch "version": 49

###Description of the problem I have the dock shown when entering the overview. If the mouse cursor is above the now shown dock, the dock will remain open when leaving overview. This behavior is counter intuitive, since the entering of the overview was the event to trigger the the dock.

The dock stays open, but I expect it to close together with the overview Is it possible to make option to force closing the dock when leaving overview?

###Steps to reproduce the problem

  1. Enter overview (Press Meta)
  2. Put mouse cursor over the dock
  3. Leave overview (Press Meta)

73 avatar Feb 28 '19 11:02 73

The mouse cursor hovering over the dock is what's causing the dock to stay open/shown. The only way to change this behavior is to turn off 'Autohide' in the Behavior tab.

passingthru67 avatar Mar 20 '19 01:03 passingthru67

Hi, thank you for getting back to me.

Since I do not want to lose Autohide my naive idea would be to hook the closing of the overview (I don't know if this is even possible) and close the dock with the overview, regardless of the mouse cursor position.

Do you think that is possible?

Thanks.

On Wed, Mar 20, 2019, 02:38 passingthru67 [email protected] wrote:

The mouse cursor hovering over the dock is what's causing the dock to stay open/shown. The only way to change this behavior is to turn off 'Autohide' in the Behavior tab.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/passingthru67/workspaces-to-dock/issues/160#issuecomment-474649838, or mute the thread https://github.com/notifications/unsubscribe-auth/AAgTwjFt_YRtUkBJjLOBTF0B9aAvxuZXks5vYZEagaJpZM4bWoSQ .

73 avatar Mar 20 '19 06:03 73

The problem is that 'Autohide' depends on the mouse cursor position. As long as the mouse hovers over the dock, the dock will open/show. The only possible solution would be to incorporate a timeout/trigger that keeps the dock hidden (after overview closes) until the mouse moves away and back over the dock again.

passingthru67 avatar Mar 20 '19 13:03 passingthru67

It would require to distinguish between the reasons the dock unfolds:

  1. Mouse cursor on screen edge (autohide)
  2. Switched workspace (workspace switcher)
  3. Entered Overview (full/partial dock in overview)
  4. No window in dock area (intellihide)

and according to the unfold reason the dock shall close by:

  1. The mouse cursor leaving the dock
  2. X seconds after changing the workspace (x will probably one)
  3. Leaving the overview
  4. Window in dock area (intellihide)

I hope that list is complete (your extension is quite complex and flexible). This would greatly increase user experience (mine, at least). Anyway, thank you for your extension. I use it daily and it made my life better!

73 avatar Mar 20 '19 14:03 73

I'm not sure when I would get to this. My personal time is very limited right now due to Work/Home responsibilities. But, I'll keep it in mind when I get back to working on enhancements.

passingthru67 avatar Mar 21 '19 11:03 passingthru67

No worries. I poked around the code a little and it seems more work than I originally anticipated. Thanks for keeping this open.

73 avatar Mar 21 '19 13:03 73