gnome-shell-extension-ubuntu-dock 67ubuntu20.04.2 source package in Ubuntu
Changelog
gnome-shell-extension-ubuntu-dock (67ubuntu20.04.2) focal; urgency=medium * general: Use Clutter.ActorAlign to set alignments * docking: Ensure that all the slider children are properly centered * dash: Properly respect RTL layout, applying the right box alignment * dash, docking: Don't use the _delegate pattern * dash: Reuse as much as possible upstream code * appIconIndicators: Make the count badge text size relative to icon size -- Marco Trevisan (Treviño) <email address hidden> Thu, 27 Feb 2020 23:34:18 +0100
Upload details
- Uploaded by:
- Marco Trevisan (Treviño)
- Uploaded to:
- Focal
- Original maintainer:
- Didier Roche-Tolomelli
- Architectures:
- all
- Section:
- gnome
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gnome-shell-extension-ubuntu-dock_67ubuntu20.04.2.tar.xz | 271.0 KiB | 859570e782702abe0ea4c0d0e76583b9a1540c22040b50bd26e48b76119ece16 |
| gnome-shell-extension-ubuntu-dock_67ubuntu20.04.2.dsc | 1.8 KiB | 80e39ba5a1cc1717fb6058e14b48aeaeeb9e94771ffd357ea42da46c1ab6111f |
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.
