gnome-shell-extension-ubuntu-dock 0.9.1ubuntu18.04.3 source package in Ubuntu
Changelog
gnome-shell-extension-ubuntu-dock (0.9.1ubuntu18.04.3) bionic; urgency=medium [ Daniel van Vugt ] * Avoid repainting an unchanging dock (LP: #1743976). [ Andrea Azzarone ] * theming: Ensure _trackingWindows contains valid windows (LP: #1769383) * extension: Ensure signal disconnection (LP: #1769383) -- Marco Trevisan (Treviño) <email address hidden> Mon, 21 Jan 2019 11:39:02 +0100
Upload details
- Uploaded by:
- Marco Trevisan (Treviño)
- Sponsored by:
- Sebastien Bacher
- Uploaded to:
- Bionic
- Original maintainer:
- Didier Roche-Tolomelli
- Architectures:
- all
- Section:
- gnome
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Bionic | updates | main | gnome |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gnome-shell-extension-ubuntu-dock_0.9.1ubuntu18.04.3.tar.xz | 264.9 KiB | 2ed752150a0856f992970b1452acd0cac180c937b2cb9c378f0add398617b186 |
| gnome-shell-extension-ubuntu-dock_0.9.1ubuntu18.04.3.dsc | 1.2 KiB | 68ded11148b6df88ea176c49e46785825a23e6d10ca924f125ee5ceb310125d9 |
Available diffs
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.
