Bug 26803 - gnome-shell-extension dash to dock
Summary: gnome-shell-extension dash to dock
Status: RESOLVED DUPLICATE of bug 26804
Alias: None
Product: Mageia
Classification: Unclassified
Component: New RPM package request (show other bugs)
Version: Cauldron
Hardware: All Linux
Priority: Normal enhancement
Target Milestone: ---
Assignee: Mageia Bug Squad
QA Contact:
URL: https://micheleg.github.io/dash-to-dock/
Depends on:
Reported: 2020-06-16 12:22 CEST by andre salaun
Modified: 2020-06-17 00:29 CEST (History)
2 users (show)

See Also:
Source RPM:
Status comment:


Description andre salaun 2020-06-16 12:22:37 CEST
The gnome-shell extension "dash to dock" can be useful to facilitate the use of the Gnome desktop.

I quote:
"Dash to dock extension is an enhanced dash for GNOME Shell. It moves the default dash out of the overview and transforms it in a dock for an easier launching of applications and a faster switching between windows and workspaces without leaving the desktop view improving the workflow in your Linux system or wherever GNOME 3 is running. It supports autohide and intellihide modes as well as a fixed mode. Optional features are available in the extension settings. The extension is themes friendly."
Comment 1 Morgan Leijström 2020-06-16 19:06:10 CEST
I guess you meant to edit the URL field but it became a new bug.

*** This bug has been marked as a duplicate of bug 26084 ***

Resolution: (none) => DUPLICATE
CC: (none) => fri

Comment 2 Lewis Smith 2020-06-16 20:36:21 CEST
Wrong duplicate bug no (typo). In fact the other bug 26804 (later) should have been a duplicate of this (earlier), unimportant; they are nominally identical.

*** This bug has been marked as a duplicate of bug 26804 ***

CC: (none) => lewyssmith

Comment 3 Morgan Leijström 2020-06-17 00:29:35 CEST
OPS for the typo.
Reason for choice: the other bug have one more URL given.

Note You need to log in before you can comment on or make changes to this bug.