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 | Published | Component | Section | |
|---|---|---|---|---|
| Jammy | release | main | gnome |
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
- diff from 72~ubuntu4 to 72~ubuntu5 (1.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.
