Public bug reported: Release: 22.04 - Ubuntu Jammy Jellyfish (development branch)
Description: The Appearance Settings within Gnome Settings contains various configuration items for the dock. However, it is possible to disable the dock fully using the Gnome Extensions application. In the case where it is fully disabled, Gnome Settings still shows dock configuration options. Expectation: It would be great if those options are hidden when you've disabled the dock completely. It would also be great to be able to disable the dock from the settings panel. ** Affects: ubuntu Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1960079 Title: Settings should cover cases where the dock is disabled To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+bug/1960079/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs