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

Changelog

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

  * docking: Use proper monitor index variable to support DING integration
  * locations: Always ignore OR windows in windows-backed app implementation
  * dash: Handle possible null first button
  * appIcons: Use proper method on _setPopupTimeout call (LP: #1964996)

 -- Marco Trevisan (Treviño) <email address hidden>  Thu, 14 Apr 2022 22:24:07 +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 Pocket Published Component Section
Jammy release main gnome

Builds

Jammy: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-ubuntu-dock_72~ubuntu5.tar.xz 266.1 KiB c05ee05733b3bdf4ce2796c3ba91a0a0103b79a1c8a9cb0bc1797facaa544918
gnome-shell-extension-ubuntu-dock_72~ubuntu5.dsc 1.9 KiB d442d8ac5662db38fcc41e79266633f90a95891267f209cce2bef8a44a29ed0f

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.