gnome-shell-extension-ubuntu-dock 72ubuntu1 source package in Ubuntu
Changelog
gnome-shell-extension-ubuntu-dock (72ubuntu1) kinetic; urgency=medium [ 13r0ck ] * Implement manual hide * get_preferred_height/width as 0 if NaN * Add default-windows-preivew-to-open * Do not animate manual hide * Add back binary indicators * Hide `All Windows` toggle button when no windows are open * Keep Showing dock after hover in overview [ Marco Trevisan (Treviño) ] * New upstream release * locations: Use CancellableChild's for mountable app infos * locations: Do not keep references on the Trash cancellable * locations: Define a base destroy() function on LocationAppInfo and use it in implementations * prefs: Remove timeouts on window closed * dash: Remove visibility timeout on destruction * dash: Unset visibility timeout ID once removed -- Marco Trevisan (Treviño) <email address hidden> Fri, 08 Jul 2022 06:00:07 +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_72ubuntu1.tar.xz | 268.9 KiB | ce348df84db54535b70988b91b81dfeef0d384955e3c42ff7d3fe02d47a7ba05 |
gnome-shell-extension-ubuntu-dock_72ubuntu1.dsc | 1.9 KiB | d5317cce3bcf95ddb9f90a5269429de383ef916010698db862ac4cd4fac7f57f |
Available diffs
- diff from 72~ubuntu6 to 72ubuntu1 (27.3 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.