Ubuntu
gnome-shell-extension-ubuntu-dock package

gnome-shell-extension-ubuntu-dock 72~ubuntu5.22.04.1 source package in Ubuntu

Changelog

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

Upload details

Uploaded by:
Marco Trevisan (Treviño)
Uploaded to:
Jammy
Original maintainer:
Didier Roche-Tolomelli
Architectures:
all
Section:
gnome
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Jammy: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-ubuntu-dock_72~ubuntu5.22.04.1.tar.xz 266.2 KiB 85dfdff1d415f4d3737828d79598c9fe391f7aa15e4d7e09acc61269fe9ba7ca
gnome-shell-extension-ubuntu-dock_72~ubuntu5.22.04.1.dsc 1.9 KiB 46ca63516f898b06146b49da0dfefccf115226473c3948f684ce54756e47147f

Available diffs

View changes file

Binary packages built by this source

gnome-shell-extension-ubuntu-dock: Ubuntu Dock for GNOME Shell

 A dock for the Gnome Shell, default Ubuntu experience.
 .
 This extension is a modified version of Dash To Dock with different defaults.
 Dash To Dock can be installed to replace it and give more (but unsupported)
 configuration options.