gnome-shell-extension-ubuntu-dock 72ubuntu3 source package in Ubuntu
Changelog
gnome-shell-extension-ubuntu-dock (72ubuntu3) kinetic; urgency=medium [ Alexandru Cheltuitor ] * Ensure that PanelCorner has given properties before checking the value [ Leandro Kemp ] * Added option to turn on/off show dock for urgent notifications -- Marco Trevisan (Treviño) <email address hidden> Wed, 24 Aug 2022 20:27:56 +0200
Upload details
- Uploaded by:
- Marco Trevisan (Treviño)
- Uploaded to:
- Kinetic
- 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_72ubuntu3.tar.xz | 269.2 KiB | 1687a5f04fe39627217410034da6097fbdb89e1883e3a875d38ae0a2472dcfc9 |
gnome-shell-extension-ubuntu-dock_72ubuntu3.dsc | 1.9 KiB | 680f460f8f1c2e87e042b4005904ed76fc5c4a5d0903e11e3c94053b6aa1d5bb |
Available diffs
- diff from 72ubuntu2 to 72ubuntu3 (2.2 KiB)
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.