[Desktop-packages] [Bug 1823303] Re: error in 10_ubuntu-dock.gschema.override

2019-04-26 Thread Laurent Bonnaud
Thanks a lot! -- 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/1823303 Title: error in 10_ubuntu-dock.gschema.override Status in

[Desktop-packages] [Bug 1823303] Re: error in 10_ubuntu-dock.gschema.override

2019-04-24 Thread Treviño
This was fixed by gnome-shell-extension-ubuntu-dock (64ubuntu6) disco; urgency=medium [ Marco Trevisan (Treviño) ] * ubuntu-dock.gschema.override: apply settings to ubuntu sessions only * ubuntu-dock.gschema.override: set intellihide to true by default * ubuntu-dock.gschema.override: set

[Desktop-packages] [Bug 1823303] Re: error in 10_ubuntu-dock.gschema.override

2019-04-11 Thread Treviño
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: New => In Progress ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Importance: Undecided => Medium ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Assignee: (unassigned) => Marco Trevisan