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

Builds

Kinetic: [FULLYBUILT] amd64

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

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.