Ubuntu
gnome-shell-extension-ubuntu-dock package

gnome-shell-extension-ubuntu-dock 79ubuntu2.23.04.2 source package in Ubuntu

Changelog

gnome-shell-extension-ubuntu-dock (79ubuntu2.23.04.2) lunar; urgency=medium

  * Keep shell overview always visible and usable (LP: #1979096):
    - docking: Do ControlsManagerLayout allocation with box-adjusted workArea
    - docking: Be more consistent in reducing the overlay layout space
    - docking: Add both bottom and top spacing when there are no workspaces

 -- Marco Trevisan (Treviño) <email address hidden>  Fri, 02 Jun 2023 16:37:38 +0200

Upload details

Uploaded by:
Marco Trevisan (Treviño)
Uploaded to:
Lunar
Original maintainer:
Marco Trevisan (Treviño)
Architectures:
all
Section:
gnome
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Lunar updates main gnome

Builds

Lunar: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-ubuntu-dock_79ubuntu2.23.04.2.tar.xz 282.1 KiB c214597b66611e35d4d5a0799682393f63dfe03797c974e4e2fe214b7f7dae99
gnome-shell-extension-ubuntu-dock_79ubuntu2.23.04.2.dsc 1.9 KiB 7162b7b6b01b06d4891cccf7060beabe09dc81c04b88a70d5174a461e7e6e44f

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.