[Desktop-packages] [Bug 2035304] Re: Ubuntu Dock briefly has a border and rounded corners when it restarts

2024-04-11 Thread Daniel van Vugt
Oh "custom-stylesheets-changed" happens several times on startup so maybe I hadn't waited for it to be signalled enough times. I'll try to revisit this again in the coming weeks. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to

[Desktop-packages] [Bug 2035304] Re: Ubuntu Dock briefly has a border and rounded corners when it restarts

2024-04-11 Thread Daniel van Vugt
It seems the stylesheet *is* applied before the extension is activated. But even if I add an extra wait for "custom-stylesheets-changed", that's still too early for the dock/dash to know about the new style that's already been loaded and signalled. There's some other delay causing the dock to be

[Desktop-packages] [Bug 2035304] Re: Ubuntu Dock briefly has a border and rounded corners when it restarts

2024-04-10 Thread Daniel van Vugt
Possible solutions in order of preference: * Apply the extension's stylesheet before rendering the dock. That might just fix it. * Apply the same slide-in animation (after LP: #2058468) to unlocking the screen. ** Tags added: noble ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)