[gnome-builder] workbench: remove separator next to perspective switcher
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] workbench: remove separator next to perspective switcher
- Date: Tue, 16 Feb 2016 05:03:24 +0000 (UTC)
commit aa21655af29ea2fd4a2d4e73f87d9596f79901d0
Author: Christian Hergert <chergert redhat com>
Date: Mon Feb 15 21:03:05 2016 -0800
workbench: remove separator next to perspective switcher
We can just do this with CSS styling, so drop the GtkSeparator widget.
data/theme/Adwaita-shared.css | 3 +++
data/ui/ide-workbench.ui | 6 ------
2 files changed, 3 insertions(+), 6 deletions(-)
---
diff --git a/data/theme/Adwaita-shared.css b/data/theme/Adwaita-shared.css
index 1878b6b..cd6127e 100644
--- a/data/theme/Adwaita-shared.css
+++ b/data/theme/Adwaita-shared.css
@@ -93,6 +93,9 @@ workbench preferences preferencesgroup list entry {
* The following tweaks the left-most sidebar containing
* the list of perspectives.
*/
+perspectiveswitcher {
+ border-right: 1px solid alpha(@borders, 0.5);
+}
perspectiveswitcher button {
background: transparent;
border-radius: 0;
diff --git a/data/ui/ide-workbench.ui b/data/ui/ide-workbench.ui
index ecc1dc0..f412ca5 100644
--- a/data/ui/ide-workbench.ui
+++ b/data/ui/ide-workbench.ui
@@ -40,12 +40,6 @@
</object>
</child>
<child>
- <object class="GtkSeparator">
- <property name="orientation">vertical</property>
- <property name="visible">true</property>
- </object>
- </child>
- <child>
<object class="GtkStack" id="perspectives_stack">
<property name="homogeneous">false</property>
<property name="transition-type">crossfade</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]