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) on 2019-01-22
Sponsored by:
Sebastien Bacher
Uploaded to:
Bionic
Original maintainer:
Didier Roche
Architectures:
all
Section:
gnome
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic updates on 2019-01-29 main gnome

Builds

Bionic: [FULLYBUILT] amd64

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

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.