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 Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu 20.04 Dock - Autohide not working
To mana
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 Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.
Still the same, not working for me.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu 20.04 Dock - Autohide not working
To manage notifications about this bug go to:
https://bugs.
run that in terminal
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu 20.04 Dock - Autohide not working
To manage notifications about this bug go to:
https://bugs.launchpad.net/u
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 Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu 20.04 Dock
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: New => Triaged
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu 20.04 Dock - Autohide not working
To mana
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 Ubuntu
Bugs, which
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 (U
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 to
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 disappear
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-
bu
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 name='org.freedesktop.Tracker1
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 Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu 20.04 Dock - Autohide not working
To m
Thank you for taking the time to report this bug and helping to make
Ubuntu better. It seems that your bug report is not filed about a
specific source package though, rather it is just filed against Ubuntu
in general. It is important that bug reports be filed about source
packages so that people
** Tags added: focal
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1870519
Title:
Ubuntu 20.04 Dock - Autohide not working
To manage notifications about this bug go to:
https://bugs.launchpad.net/u
16 matches
Mail list logo