[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2023-02-27 Thread Daniel van Vugt
** 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 watch: github.com/micheleg/dash-to-dock/issues #1938 => 
github.com/micheleg/dash-to-dock/issues #1157

-- 
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 Dash to dock:
  Unknown
Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Triaged

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1870519/+subscriptions


-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2021-01-26 Thread Tamer Badawy
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 20.04 Dock - Autohide not working

Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Triaged

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-11-26 Thread sepukkuhero
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 gnome-shell-extension-ubuntu-dock in
Ubuntu.
https://bugs.launchpad.net/bugs/1870519

Title:
  Ubuntu 20.04 Dock - Autohide not working

Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Triaged

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-07-05 Thread Jakub Klos
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 gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Triaged

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-07-05 Thread Nakshatra Nag
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.
https://bugs.launchpad.net/bugs/1870519

Title:
  Ubuntu 20.04 Dock - Autohide not working

Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Triaged

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-07-05 Thread Nakshatra Nag
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 gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Triaged

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-07-02 Thread Sebastien Bacher
** 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 20.04 Dock - Autohide not working

Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Triaged

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-04-06 Thread Jakub Klos
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, 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 gnome-shell-extension-ubuntu-dock package in Ubuntu:
  New

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-04-06 Thread Sebastien Bacher
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 (Ubuntu)
   Status: Incomplete => New

-- 
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 gnome-shell-extension-ubuntu-dock package in Ubuntu:
  New

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-04-06 Thread Jakub Klos
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 the left so the dock should appear but it does not

-- 
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 gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Incomplete

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-04-06 Thread Jakub Klos
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 disappears.
  Now, move mouse to the dock area but the dock will never appear.
  
  (on 18.04 this works properly - using the same dconf properties in both
  20.04 and 18.04)
  
  It should auto appear when you move the mouse where the dock was hidden.
+ --- 
+ ProblemType: Bug
+ ApportVersion: 2.20.11-0ubuntu22
+ Architecture: amd64
+ CurrentDesktop: ubuntu:GNOME
+ DistroRelease: Ubuntu 20.04
+ InstallationDate: Installed on 2020-04-06 (0 days ago)
+ InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
+ Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
+ PackageArchitecture: all
+ ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
+ Tags:  focal
+ Uname: Linux 5.4.0-21-generic x86_64
+ UpgradeStatus: No upgrade log present (probably fresh install)
+ UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
+ _MarkForUpload: True

** Attachment added: "Dependencies.txt"
   
https://bugs.launchpad.net/bugs/1870519/+attachment/5347586/+files/Dependencies.txt

-- 
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 gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Incomplete

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was hidden.
  --- 
  ProblemType: Bug
  ApportVersion: 2.20.11-0ubuntu22
  Architecture: amd64
  CurrentDesktop: ubuntu:GNOME
  DistroRelease: Ubuntu 20.04
  InstallationDate: Installed on 2020-04-06 (0 days ago)
  InstallationMedia: Ubuntu 20.04 LTS "Focal Fossa" - Beta amd64 (20200331)
  Package: gnome-shell-extension-ubuntu-dock 67ubuntu20.04.3
  PackageArchitecture: all
  ProcVersionSignature: Ubuntu 5.4.0-21.25-generic 5.4.27
  Tags:  focal
  Uname: Linux 5.4.0-21-generic x86_64
  UpgradeStatus: No upgrade log present (probably fresh install)
  UserGroups: adm cdrom dip lpadmin lxd plugdev sambashare sudo
  _MarkForUpload: True

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-04-05 Thread Daniel van Vugt
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-
bug' and the name of the package affected. You can learn more about this
functionality at https://wiki.ubuntu.com/ReportingBugs.

-- 
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 gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Incomplete

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was
  hidden.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-04-04 Thread Jakub Klos
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' 
unit='tracker-store.service' requested by ':1.35' (uid=1000 pid=1649 comm="/>
Apr 04 11:16:54 Ubuntu systemd[1375]: Starting Tracker metadata database store 
and lookup manager...
Apr 04 11:16:54 Ubuntu dbus-daemon[1398]: [session uid=1000 pid=1398] 
Successfully activated service 'org.freedesktop.Tracker1'
Apr 04 11:16:54 Ubuntu systemd[1375]: Started Tracker metadata database store 
and lookup manager.
Apr 04 11:16:54 Ubuntu dbus-daemon[1398]: [session uid=1000 pid=1398] 
Activating via systemd: service name='org.freedesktop.Tracker1.Miner.Extract' 
unit='tracker-extract.service' requested by ':1.35' (uid=1000 >
Apr 04 11:16:54 Ubuntu systemd[1375]: Starting Tracker metadata extractor...
Apr 04 11:16:54 Ubuntu tracker-extract[35811]: Set scheduler policy to 
SCHED_IDLE
Apr 04 11:16:54 Ubuntu tracker-extract[35811]: Setting priority nice level to 19
Apr 04 11:16:54 Ubuntu dbus-daemon[1398]: [session uid=1000 pid=1398] 
Successfully activated service 'org.freedesktop.Tracker1.Miner.Extract'
Apr 04 11:16:54 Ubuntu systemd[1375]: Started Tracker metadata extractor.
Apr 04 11:17:01 Ubuntu CRON[36001]: pam_unix(cron:session): session opened for 
user root by (uid=0)
Apr 04 11:17:01 Ubuntu CRON[36003]: (root) CMD (   cd / && run-parts --report 
/etc/cron.hourly)
Apr 04 11:17:01 Ubuntu CRON[36001]: pam_unix(cron:session): session closed for 
user root
Apr 04 11:17:04 Ubuntu systemd[1]: apt-daily-upgrade.service: Succeeded.
Apr 04 11:17:04 Ubuntu systemd[1]: Finished Daily apt upgrade and clean 
activities.
Apr 04 11:17:05 Ubuntu systemd[1375]: tracker-extract.service: Succeeded.

I can reproduce the issue all the time and provide some screenshots as
well.

-- 
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 gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Incomplete

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was
  hidden.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-04-03 Thread Sebastien Bacher
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

-- 
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 gnome-shell-extension-ubuntu-dock package in Ubuntu:
  Incomplete

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was
  hidden.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1870519] Re: Ubuntu 20.04 Dock - Autohide not working

2020-04-03 Thread Jakub Klos
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:
  Ubuntu 20.04 Dock - Autohide not working

Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
  New

Bug description:
  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 disappears.
  Now, move mouse to the dock area but the dock will never appear.

  (on 18.04 this works properly - using the same dconf properties in
  both 20.04 and 18.04)

  It should auto appear when you move the mouse where the dock was
  hidden.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1870519/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp