gnome-shell-extension-ubuntu-dock 0.7 source package in Ubuntu

Changelog

gnome-shell-extension-ubuntu-dock (0.7) artful; urgency=medium

  * Cherry-pick 2 upstream fixes:
    - Maximized windows get resized when returning from screensaver
      (LP: #1719409)
    - Mouse scrollwheel switches workspaces when mouse against the left
      edge of screen (LP: #1719706)

 -- Didier Roche <email address hidden>  Tue, 03 Oct 2017 10:30:10 +0200

Upload details

Uploaded by:
Didier Roche on 2017-10-03
Uploaded to:
Artful
Original maintainer:
Didier Roche
Architectures:
all
Section:
gnome
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Artful release on 2017-10-03 main gnome

Builds

Artful: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-ubuntu-dock_0.7.tar.xz 116.7 KiB 5416f47f56fdac4f3bf366aeb2237a325d33ccae7cb37255271aca3c2df18505
gnome-shell-extension-ubuntu-dock_0.7.dsc 1.0 KiB e10805b70c0c61ac04f8ed53c7628d8a186153a4b283df5b16b0f5216fad348b

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.