[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
This bug was fixed in the package gnome-shell-extension-ubuntu-dock - 67ubuntu20.04.3 --- gnome-shell-extension-ubuntu-dock (67ubuntu20.04.3) focal; urgency=medium [ Marco Trevisan (Treviño) ] * docking: Don't use non-existent Utils.DisplayWrapper.getWorkspaceManager() * dash: Use clutter alignment to ensure we properly arrange the dash * metadata: Set extension compatible with shell 3.36 only * dash: Sync some more to the upstream cleanups * docking: Properly replace default dash in all modes (LP: #1795703, LP: #1865865) * docking: Delay hide requests if we're currently showing * docking: Don't sync overview's iconSize anymore * docking: Reset old dash changes if something changes it (LP: #1795703) * docking: Cleanup the docks destruction code * docking: Use parent vfunc results to get slider container sizes * docking: Add mainDock property to DockManager and use it * docking: Don't pass allDocks to every child * docking: Ignore key-repeat * fileManager1API: Use a cancellable to stop proxy creation on destruction * dash: Cleanup preferred width/height vfuncs reusing upstream code * dash: Get content box from the themeNode * dash: Some code cleanups to match Upstream code better * appIcons: Redirect events from the showAppIcon toggleButton to the parent * general: Don't use Gtk enum definitions for St widgets * docking: Apply the height/width dash constraint after adding to main uiGroup * docking: Delay toggling to group multiple requests * docking: Consider theming when computing the sliderContainer space * docking: Reimplement Clutter.BindConstraint to bind to Maximum size only * docking: Replace the dashSpacer instance in default controls * docking: Make sure we don't send the overview offscreen in extended mode (LP: #1834967) * launcherAPI: Actually keep track of the unity bus ID and replace it (LP: #1756837) [ Michele Gaio ] * Fix bug with xscreensaver. [ Jordan Christiansen ] * Update the screenshot to Gnome 3.34 -- Marco Trevisan (Treviño) Wed, 18 Mar 2020 03:22:28 +0100 ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: In Progress => Fix Released -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
** No longer affects: gnome-shell (Ubuntu) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
Yeah. Also, once again, this didn't happen in quite some time and with big uptimes. I wouldn't bother until many more people confirm. -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
the log has this warning, unsure if that's what makes the dock unload though? JS WARNING: [/usr/share/gnome-shell/extensions/ubuntu- d...@ubuntu.com/docking.js 1778]: reference to undefined property "_workspaceIsolation" -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: New => Confirmed -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: Expired => New -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
[Expired for gnome-shell (Ubuntu) because there has been no activity for 60 days.] ** Changed in: gnome-shell (Ubuntu) Status: Incomplete => Expired -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
[Expired for gnome-shell-extension-ubuntu-dock (Ubuntu) because there has been no activity for 60 days.] ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: Incomplete => Expired -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
Ok, so it happened again, but it took 15 days this time :) Attaching journalctl -x -n1000 ** Attachment added: "log.txt" https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1795703/+attachment/5213376/+files/log.txt -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
Thanks for the update, it's weird if it got away without a real fix, maybe it's transient. Setting as incomplete for now, please provide the informations if you hit the issue again, thx ** Changed in: gnome-shell (Ubuntu) Importance: Undecided => High ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Importance: Undecided => High ** Changed in: gnome-shell (Ubuntu) Status: New => Incomplete ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: New => Incomplete -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
I don't see a button to close it, so anyone who does -- feel free to. -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
I think this doesn't happen anymore, didn't check logs but the dock is there for more than 7 days now. Yay! :) -- 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/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 1795703] Re: Ubuntu Dock gets replaced with a standard GNOME one after a while
** Also affects: gnome-shell (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1795703 Title: Ubuntu Dock gets replaced with a standard GNOME one after a while To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1795703/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
