[gnome-shell-extensions] workspace-indicator: Reindent stylesheet
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] workspace-indicator: Reindent stylesheet
- Date: Thu, 11 Mar 2021 12:10:01 +0000 (UTC)
commit f987e5f13dbac85b87536ba8ac4cde19306488c7
Author: Florian Müllner <fmuellner gnome org>
Date: Sat Jan 16 00:29:42 2021 +0100
workspace-indicator: Reindent stylesheet
For some reason the CSS here uses a different indentation than
gnome-shell or the other extensions, fix that.
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/283
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/166>
extensions/workspace-indicator/stylesheet.css | 24 ++++++++++++------------
1 file changed, 12 insertions(+), 12 deletions(-)
---
diff --git a/extensions/workspace-indicator/stylesheet.css b/extensions/workspace-indicator/stylesheet.css
index 8601c3e..d43d044 100644
--- a/extensions/workspace-indicator/stylesheet.css
+++ b/extensions/workspace-indicator/stylesheet.css
@@ -1,40 +1,40 @@
.panel-workspace-indicator {
- padding: 0 8px;
+ padding: 0 8px;
}
.panel-workspace-indicator-box {
- padding: 2px 0;
+ padding: 2px 0;
}
.panel-workspace-indicator-box .workspace {
- width: 40px;
+ width: 40px;
}
.panel-workspace-indicator,
.panel-workspace-indicator-box .workspace {
- border: 1px solid #cccccc;
+ border: 1px solid #cccccc;
}
.panel-workspace-indicator,
.panel-workspace-indicator-box .workspace.active {
- background-color: rgba(200, 200, 200, .5);
+ background-color: rgba(200, 200, 200, .5);
}
.panel-workspace-indicator-box .workspace {
- background-color: rgba(200, 200, 200, .3);
- border-left-width: 0;
+ background-color: rgba(200, 200, 200, .3);
+ border-left-width: 0;
}
.panel-workspace-indicator-box .workspace:first-child {
- border-left-width: 1px;
+ border-left-width: 1px;
}
.workspace-indicator-window-preview {
- background-color: #252525;
- border: 1px solid #ccc;
+ background-color: #252525;
+ border: 1px solid #ccc;
}
.workspace-indicator-window-preview.active {
- background-color: #353535;
- border: 2px solid #ccc;
+ background-color: #353535;
+ border: 2px solid #ccc;
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]