Public bug reported: Ubuntu 20.04 all up to date to latest @ 19/4/2020
In the preferences tab 'behaviour' please add a hide option in the partial dock: what should we do with with the dock when not dodging windows: there are 3 options, but none to hide the workspaces fully so when you have an empty desktop without windows, there's no way to fully hide it right now ProblemType: Bug DistroRelease: Ubuntu 20.04 Package: gnome-shell-extension-workspaces-to-dock 52+git20200318-1 ProcVersionSignature: Ubuntu 5.4.0-24.28-generic 5.4.30 Uname: Linux 5.4.0-24-generic x86_64 ApportVersion: 2.20.11-0ubuntu27 Architecture: amd64 CasperMD5CheckResult: skip CurrentDesktop: ubuntu:GNOME Date: Sun Apr 19 15:57:08 2020 InstallationDate: Installed on 2020-03-14 (35 days ago) InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Alpha amd64 (20200309) PackageArchitecture: all SourcePackage: gnome-shell-extension-workspaces-to-dock UpgradeStatus: No upgrade log present (probably fresh install) ** Affects: gnome-shell-extension-workspaces-to-dock (Ubuntu) Importance: Undecided Status: New ** Tags: amd64 apport-bug focal ** Attachment added: "Schermafdruk van 2020-04-19 16-00-05.png" https://bugs.launchpad.net/bugs/1873659/+attachment/5356734/+files/Schermafdruk%20van%202020-04-19%2016-00-05.png -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1873659 Title: Add a hide option for partial dock when not dodge windows To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-workspaces-to-dock/+bug/1873659/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs