** Bug watch added: github.com/micheleg/dash-to-dock/issues #1938
https://github.com/micheleg/dash-to-dock/issues/1938
** Also affects: dash-to-dock via
https://github.com/micheleg/dash-to-dock/issues/1938
Importance: Unknown
Status: Unknown
** Changed in: dash-to-dock
Remote
disable require-pressure-to-show which is enabled by default, and this
fixed it for me.
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in
Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu
I'm having trouble with autohide too. It also happens when switching
from a normal window to a fullscreen window, with the mouse at the end
of the dock previously.
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to
Still the same, not working for me.
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in
Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu 20.04 Dock - Autohide not working
Status in
gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false
//autohide ubuntu gnome dock without mouse over
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in
Ubuntu.
run that in terminal
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in
Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu 20.04 Dock - Autohide not working
Status in
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: New => Triaged
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in
Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu
I did report it upstream:
https://github.com/micheleg/dash-to-dock/issues/1157
Thank you
** Bug watch added: github.com/micheleg/dash-to-dock/issues #1157
https://github.com/micheleg/dash-to-dock/issues/1157
--
You received this bug notification because you are a member of Desktop
Packages,
The setting you are using isn't exposed in the UI and not officially supported,
best to report upstream on
https://github.com/micheleg/dash-to-dock/issues
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Importance: Undecided => Low
** Changed in: gnome-shell-extension-ubuntu-dock
Just to be sure, I did a fresh Ubuntu 20.04 installation, performed
updates and reproduced the issue right away.
All you need to do is to:
1. set /org/gnome/shell/extensions/dash-to-dock/dock-fixed=false in dconf-editor
2. maximize the dconf-editor (so that the dock will hide)
3. move the mouse
apport information
** Tags added: apport-collected
** Description changed:
Hello,
Ubuntu 20.04 beta (Apr 2nd 2020)
1. Set in dconf editor under
/org/gnome/shell/extensions/dash-to-dock/
autohide:true
docker-fixed:false
2. Maximize some desktop window and the dock
Thank you for taking the time to report this bug and helping to make
Ubuntu better. Please execute the following command only once, as it
will automatically gather debugging information, in a terminal:
apport-collect 1870519
When reporting bugs in the future please use apport by using 'ubuntu-
Yes, the Ubuntu (default) session and its original Dock (no extra extension
installed)
Basically, the default desktop setup with the steps above.
The journal log:
Apr 04 11:16:54 Ubuntu dbus-daemon[1398]: [session uid=1000 pid=1398]
Activating via systemd: service
Thank you for your bug report. What session do you use? Is that ubuntu and it's
dock or dash to dock in a GNOME session?
Could you add your 'journalctl -b 0' log to the bug after triggering the issue?
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: New => Incomplete
--
Provided package
** Package changed: ubuntu => gnome-shell-extension-ubuntu-dock (Ubuntu)
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in
Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
15 matches
Mail list logo
