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


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

  [ Didier Roche ]
  * Cherry-pick dynamic and adaptive transparency feature to look and behave
    better with GNOME Shell 3.26. We only enable adaptive transparency.
    (LP: #1717509).
  * Rationalize some keyboard and key + mouse shortcuts:
    - Click is focus or showing up window previews. Same than Super + number
      (was already the default)
    - Shift + click launch a new instance. Same than Super + Shift + number
    - Middle click launch a new instance as well. This is to be consistent
      when middle clicking a link in a web browser opening a new tab.
    - Shift + middle click minimize the last focused window from the selected
  * Cherry-pick some fixes from dash to dock branch (without taking the other
    new features):
    - Hotkeys: remove keypad hotkeys
    - Define externally accessible classes and constants with 'var'
  * Fix uninitialized value for dock disabled by default
    (LP: #1712698, #1714219)
  * updated translations
  * Remove prefs.js as deleted from to localize list
  * Add Vcs-Git reference

  [ Sebastien Bacher ]
  * debian/control, debian/rules:
    - use dh_translations, update the template during the build

 -- Didier Roche <email address hidden>  Wed, 20 Sep 2017 08:01:22 +0200

Upload details

Uploaded by:
Didier Roche on 2017-09-20
Uploaded to:
Original maintainer:
Didier Roche
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section


Artful: [FULLYBUILT] amd64


File Size SHA-256 Checksum
gnome-shell-extension-ubuntu-dock_0.5.tar.xz 113.8 KiB a91dab941915d5d7dd2d49c31ca7958ca6ed2306f547e0329ee36ce788b489c6
gnome-shell-extension-ubuntu-dock_0.5.dsc 1.0 KiB 678c1ff4c9307f544263444ed973ec3ee55ffc3e283bab7b20b434562e04b34d

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.