diff --git a/README.md b/README.md index 6b7e5e0..93f6540 100644 --- a/README.md +++ b/README.md @@ -70,5 +70,12 @@ for i in $(snap connections | grep gtk-common-themes:gtk-3-themes | awk '{print ![Firefox-theme](src/firefox/preview01.png?raw=true) ![Firefox-theme](src/firefox/preview02.png?raw=true) +### Fix for Dash to panel +Go to `src/gnome-shell/extensions/dash-to-panel` [dash-to-panel](src/gnome-shell/extensions/dash-to-panel) run the following commands in the terminal: + +```sh +./install.sh +``` + ## Preview ![1](preview.jpg?raw=true) diff --git a/src/gnome-shell/extensions/dash-to-panel/install.sh b/src/gnome-shell/extensions/dash-to-panel/install.sh new file mode 100755 index 0000000..5970c26 --- /dev/null +++ b/src/gnome-shell/extensions/dash-to-panel/install.sh @@ -0,0 +1,61 @@ +#!/bin/bash + +REPO_DIR=$(cd $(dirname $0) && pwd) +ROOT_UID=0 + +# Destination directory +if [ "$UID" -eq "$ROOT_UID" ]; then + DEST_DIR="/usr/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com" +else + DEST_DIR="$HOME/.local/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com" +fi + +_install() { +if [[ -f ${DEST_DIR}/stylesheet.css ]]; then + mv -n ${DEST_DIR}/stylesheet.css ${DEST_DIR}/stylesheet.css.back + cp -r ${REPO_DIR}/stylesheet.css ${DEST_DIR}/stylesheet.css +else + prompt -i "\n stylesheet.css not exist!" + exit 0 +fi + +echo +echo -e "Done!" +} + +_restore() { +if [[ -f ${DEST_DIR}/stylesheet.css.back ]]; then + rm -rf ${DEST_DIR}/stylesheet.css + mv -n ${REPO_DIR}/stylesheet.css.back ${DEST_DIR}/stylesheet.css +else + prompt -i "\n stylesheet.css.back not exist!" + exit 0 +fi + +echo +echo -e "Done!" +} + +while [[ "$#" -gt 0 ]]; do + case "${1:-}" in + -r|--restore) + restore="true" + ;; + -h|--help) + usage + exit 0 + ;; + *) + echo "ERROR: Unrecognized installation option '${1:-}'." + echo "Try '$0 --help' for more information." + exit 1 + ;; + esac +done + +if [[ "${restore}" == "true" ]]; then + _restore +else + _install +fi + diff --git a/src/gnome-shell/extensions/dash-to-panel/stylesheet.css b/src/gnome-shell/extensions/dash-to-panel/stylesheet.css index f00738b..0cbe4a2 100644 --- a/src/gnome-shell/extensions/dash-to-panel/stylesheet.css +++ b/src/gnome-shell/extensions/dash-to-panel/stylesheet.css @@ -1,26 +1,3 @@ -/* - * This file is part of the Dash-To-Panel extension for Gnome 3 - * - * This program is free software: you can redistribute it and/or modify - * it under the terms of the GNU General Public License as published by - * the Free Software Foundation, either version 2 of the License, or - * (at your option) any later version. - * - * This program is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this program. If not, see . - * - * - * Credits: - * This file is based on code from the Dash to Dock extension by micheleg - * and code from the Taskbar extension by Zorin OS - * Some code was also adapted from the upstream Gnome Shell source code. - */ - .dashtopanelMainPanel { margin: 0; padding: 0; @@ -41,7 +18,6 @@ } #dashtopanelScrollview .app-well-app .overview-label { - /* must match TITLE_RIGHT_PADDING in apppicons.js */ padding-right: 8px; } @@ -99,7 +75,7 @@ #dashtopanelThumbnailList .popup-menu-item { padding: 0; - border-radius: 5px; + border-radius: 3px; spacing: 0; } @@ -135,7 +111,7 @@ } .panel-corner.hidden:active, .panel-corner.hidden:overview, .panel-corner.hidden:focus { - -panel-corner-border-color: rgba(0, 0, 0, .001); + -panel-corner-border-color: rgba(0, 0, 0, .001); } #dashtopanelScrollview .badge { color: rgba(255, 255, 255, 1); @@ -148,12 +124,5 @@ } #dashtopanelScrollview .notification-badge { - background-color: rgba(255,0,0,0.8); -} - -#dashtopanelScrollview .progress-bar { - /* Customization of the progress bar style, e.g.: - -progress-bar-background: rgba(0.8, 0.8, 0.8, 1); - -progress-bar-border: rgba(0.9, 0.9, 0.9, 1); - */ + background-color: rgba(255,0,0,0.8); }