[gnome-builder] workbench: hide the sidebar until we figure out workspaces
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] workbench: hide the sidebar until we figure out workspaces
- Date: Tue, 21 Oct 2014 23:12:32 +0000 (UTC)
commit 145c84a0a68d5b9792aeae578378801f31b8f51f
Author: Christian Hergert <christian hergert me>
Date: Tue Oct 21 16:12:25 2014 -0700
workbench: hide the sidebar until we figure out workspaces
We have a bunch of design to do on workspaces. In particular, we seem
to anticipate a lot of cross workspace interactions that might make
segregated workspaces difficult from a usability standpoint.
Let's just hide this until it actually becomes useful.
src/resources/ui/gb-workbench.ui | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/resources/ui/gb-workbench.ui b/src/resources/ui/gb-workbench.ui
index d26c147..c6e3a1c 100644
--- a/src/resources/ui/gb-workbench.ui
+++ b/src/resources/ui/gb-workbench.ui
@@ -142,7 +142,7 @@
<property name="visible">True</property>
<child>
<object class="GtkStackSwitcher" id="switcher">
- <property name="visible">True</property>
+ <property name="visible">False</property>
<property name="stack">stack</property>
<property name="orientation">vertical</property>
<property name="border_width">4</property>
@@ -154,7 +154,7 @@
</child>
<child>
<object class="GtkSeparator" id="sidebar_separator">
- <property name="visible">True</property>
+ <property name="visible">False</property>
<property name="orientation">vertical</property>
</object>
</child>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]