73
73
I am afraid my CSS skills are not up to the task.
I config file would also be alternative.
Maybe it is the location of the mouse pointer (I do not see on in your screenshot). It could be a duplicate of #160
This seems to be another bug. This one is specifically the mouse pointer keeping the dock open while it was not used to open it. I think you should open...
Sry. You are completely right. My bad. I confused the issues.
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...
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)...
No worries. I poked around the code a little and it seems more work than I originally anticipated. Thanks for keeping this open.
I have the same Problem. Ubuntu 19.10 / GNOME 3.34 on Wayland. The extension version is the current master. This is in my syslog: ``` Mar 10 13:00:14 hostname gnome-shell[12890]:...
> Duplicate of #375 Not exactly. It is about making URIs with the scheme `file` like in `file:///home/user/Documents/more.md` actually clickable.