Public bug reported:
Initially reported at https://gitlab.gnome.org/GNOME/gnome-
shell/issues/416 and told that it is an Ubuntu feature and should be
reported at Ubuntu tracker.
I use "Auto-hide the Dock" mode.
When I put mouse at the left side of the screen, the dock unhides well.
But if I first put the mouse to the top of the screen and then keeping
it a the top move to the left (even if later I move the mouse down
holding it at the left side of the screen), then the dock does not
unhide.
This behavior is:
* inconvenient
* not intuitive
It is so much inconvenient that I call this a bug.
It is gnome-shell 3.28.2-0ubuntu0.18.04.1 on Ubuntu 18.04.
ProblemType: Bug
DistroRelease: Ubuntu 18.04
Package: gnome-shell 3.28.2-0ubuntu0.18.04.1
Uname: Linux 4.18.0-041800rc2-generic x86_64
ApportVersion: 2.20.9-0ubuntu7.2
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Mon Jul 16 21:21:57 2018
DisplayManager: gdm3
GsettingsChanges:
b'org.gnome.shell' b'enabled-extensions' b"['weather-extens...@xeked.com',
'openweather-extens...@jenslody.de',
'alternate-...@gnome-shell-extensions.gcampax.github.com']"
b'org.gnome.shell' b'favorite-apps' redacted by apport
b'org.gnome.desktop.interface' b'gtk-im-module' b"'gtk-im-context-simple'"
b'org.gnome.desktop.interface' b'icon-theme' b"'ubuntu-mono-light'"
b'org.gnome.desktop.interface' b'clock-show-date' b'true'
InstallationDate: Installed on 2018-06-23 (22 days ago)
InstallationMedia: Ubuntu 18.04 LTS "Bionic Beaver" - Release amd64 (20180426)
ProcEnviron:
TERM=xterm-256color
PATH=(custom, no user)
XDG_RUNTIME_DIR=<set>
LANG=en_IL
SHELL=/bin/bash
SourcePackage: gnome-shell
UpgradeStatus: No upgrade log present (probably fresh install)
** Affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug bionic
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1782003
Title:
A mouse glitch in "Auto-hide the Dock" mode
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1782003/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
