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

Changelog

gnome-shell-extension-ubuntu-dock (72~ubuntu5.22.04.2.1) jammy; urgency=medium

  * Keep shell overview always visible and usable (LP: #1979096):
    - docking: Do ControlsManagerLayout allocation with box-adjusted workArea
    - docking: Be more consistent in reducing the overlay layout space
    - docking: Add both bottom and top spacing when there are no workspaces

gnome-shell-extension-ubuntu-dock (72~ubuntu5.22.04.2) jammy; urgency=medium

  [ Marco Trevisan (Treviño) ]
  * debian/control: Update maintainer to myself
  * Ensure startup animations are performed on monitor changes (LP: #2019751):
    - utils: Ensure we destroy the Signals handler as last thing on destroy
    - docking: Do not wait for dash animation two times with no overview
    - docking: Ensure we perform the startup animation completely on docks
      updates (LP: #1965208)
    - docking: Use a try/catch statement on our promise to show errors in case
    - docking: Cleanup startup animation injections once done
    - docking: Handle monitors changed events while preparing startup animation
    - docking: Keep clip and coverPane size matching current setup
    - docking: Handle when dash is destroyed during the login animation
  * Do not hide the dock when menus are closed (LP: #1983130):
    - docking: Ignore hover changes if overview is visible (LP: #1983130)
    - docking: Check if autohide or intellihide is enabled on menu closed
  * Keep shell overview always visible and usable (LP: #1979096):
    - docking: Also reduce the app grid area when in auto-hide mode
      (LP: #1992847)
    - docking: Use an even width for the overview content area
    - docking: Keep overview controls layout proportions when resizing it
      (LP: #1992847)

  [ Daniel van Vugt ]
  * docking: Handle when dash is destroyed during the login animation
    (LP: #2019751)

 -- Marco Trevisan (Treviño) <email address hidden>  Fri, 02 Jun 2023 04:12:06 +0200

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section
Jammy updates main gnome

Builds

Jammy: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-ubuntu-dock_72~ubuntu5.22.04.2.1.tar.xz 267.3 KiB 1bb784448a087eeaf067631600ee51ed6b0901bdce479bbff5a39b035101bdcc
gnome-shell-extension-ubuntu-dock_72~ubuntu5.22.04.2.1.dsc 1.9 KiB eaf75b54dbe1712cc1abd333e8e49aba11cddd7be0ab03e20ed3bade2dc827b6

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.