From 10e19e4740fa031a162433d4e5745fdb3bceee6d Mon Sep 17 00:00:00 2001 From: Fernando Ferreira Date: Fri, 9 Oct 2020 12:08:40 -0300 Subject: [PATCH 01/18] Add files via upload --- README.md | 27 +- Settings.ui | 231 +++++--- media/logo.svg | 529 +----------------- metadata.json | 21 +- prefs.js | 49 +- ....shell.extensions.dash-to-dock.gschema.xml | 17 +- stylesheet.css | 37 +- theming.js | 118 ++-- 8 files changed, 298 insertions(+), 731 deletions(-) diff --git a/README.md b/README.md index e2a1b8c30..7be494cf1 100644 --- a/README.md +++ b/README.md @@ -1,28 +1,7 @@ -# Dash to Dock -![screenshot](https://github.com/micheleg/dash-to-dock/raw/master/media/screenshot.jpg) +# Floating Dock -## A dock for the GNOME Shell -This extension enhances the dash moving it out of the overview and transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops without having to leave the desktop view. +![Floating Dock](./media/logo.svg) -[](https://extensions.gnome.org/extension/307/dash-to-dock) -For additional installation instructions and more information visit [https://micheleg.github.io/dash-to-dock/](https://micheleg.github.io/dash-to-dock/). +Fork from original dash to dock extension made by michelle -## Installation from source - -The extension can be installed directly from source, either for the convenience of using git or to test the latest development version. Clone the desired branch with git - -
git clone https://github.com/micheleg/dash-to-dock.git
-or download the branch from github. A simple Makefile is included. Then run -
make
-make install
-
-to install the extension in your home directory. A Shell reload is required Alt+F2 r Enter and the extension has to be enabled with *gnome-tweak-tool* or with *dconf*. - -## Bug Reporting - -Bugs should be reported to the Github bug tracker [https://github.com/micheleg/dash-to-dock/issues](https://github.com/micheleg/dash-to-dock/issues). - -## License -Dash to Dock Gnome Shell extension is distributed under the terms of the GNU General Public License, -version 2 or later. See the COPYING file for details. diff --git a/Settings.ui b/Settings.ui index b7f784e95..de27da1fb 100644 --- a/Settings.ui +++ b/Settings.ui @@ -1,5 +1,5 @@ - + @@ -258,11 +258,21 @@ + + 100 + 1 + 10 + 1 0.01 0.10000000000000001 + + 100 + 1 + 10 + 0.33000000000000002 1 @@ -578,6 +588,8 @@ 6 6 6 + left + True True @@ -587,7 +599,7 @@ 24 24 vertical - 24 + 10 True @@ -1086,7 +1098,7 @@ 24 24 vertical - 24 + 10 True @@ -1459,7 +1471,7 @@ 24 24 vertical - 24 + 10 True @@ -1832,7 +1844,7 @@ 24 24 vertical - 24 + 10 True @@ -1923,7 +1935,7 @@ 0 in - + True False none @@ -1958,7 +1970,7 @@ True False True - Save space reducing padding and border radius. + Remove padding around icons container 0