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 | Published | Component | Section |
|---|
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
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.
