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
