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 Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2035304

Title:
  Ubuntu Dock briefly has a border and rounded corners when it restarts

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


-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to