UbuntuUpdates.org

Package "gnome-shell-extension-ubuntu-dock"

Name: gnome-shell-extension-ubuntu-dock

Description:

Ubuntu Dock for GNOME Shell

Latest version: 72~ubuntu5.22.04.2.1
Release: jammy (22.04)
Level: updates
Repository: main
Homepage: https://github.com/micheleg/dash-to-dock/blob/ubuntu-dock/README.md

Links


Download "gnome-shell-extension-ubuntu-dock"


Other versions of "gnome-shell-extension-ubuntu-dock" in Jammy

Repository Area Version
base main 72~ubuntu5
proposed main 72~ubuntu5.22.04.3

Changelog

Version: 72~ubuntu5.22.04.2.1 2023-06-12 14:07:11 UTC

  gnome-shell-extension-ubuntu-dock (72~ubuntu5.22.04.2.1) jammy; urgency=medium

  * Keep shell overview always visible and usable (LP: #1979096):
    - docking: Do ControlsManagerLayout allocation with box-adjusted workArea
    - docking: Be more consistent in reducing the overlay layout space
    - docking: Add both bottom and top spacing when there are no workspaces

Source diff to previous version
1979096 gnome-shell search can't launch apps if dock auto-hide is enabled

Version: 72~ubuntu5.22.04.1 2022-07-26 14:06:21 UTC

  gnome-shell-extension-ubuntu-dock (72~ubuntu5.22.04.1) jammy; urgency=medium

  [ Daniel van Vugt ]
  * Ignore loss of the hover state while a menu is open (LP: #1967121):
    - dash: Add a 'menu-opened' signal
    - appIcons: Remember to emit menu-state-changed for _previewMenu
    - docking: Ignore loss of the hover state while a menu is open

  [ Marco Trevisan (Treviño) ]
  * debian: Update references for jammy branching

 -- Marco Trevisan (Treviño) <email address hidden> Fri, 08 Jul 2022 06:08:23 +0200

1967121 Dock auto-hides when a right click context menu is opened while a window is under the dock



About   -   Send Feedback to @ubuntu_updates