[gnome-builder/wip/chergert/headerbar] omnibar: hide some widgets by default



commit 8b23e6a4733b428698971ff0798bb5e5b3551108
Author: Christian Hergert <chergert redhat com>
Date:   Fri Jun 24 16:55:56 2016 -0700

    omnibar: hide some widgets by default

 libide/workbench/ide-omni-bar.ui |    3 ---
 1 files changed, 0 insertions(+), 3 deletions(-)
---
diff --git a/libide/workbench/ide-omni-bar.ui b/libide/workbench/ide-omni-bar.ui
index 2708a21..c81c4ce 100644
--- a/libide/workbench/ide-omni-bar.ui
+++ b/libide/workbench/ide-omni-bar.ui
@@ -230,7 +230,6 @@
                 <child>
                   <object class="GtkLabel" id="popover_build_label">
                     <property name="label">Last build</property>
-                    <property name="visible">true</property>
                     <property name="xalign">0.0</property>
                     <attributes>
                       <attribute name="weight" value="bold"/>
@@ -239,8 +238,6 @@
                 </child>
                 <child>
                   <object class="GtkLabel" id="popover_last_build_time_label">
-                    <property name="label">Friday June 3rd, 11:49</property>
-                    <property name="visible">true</property>
                     <property name="xalign">0.0</property>
                     <attributes>
                       <attribute name="scale" value="0.8333"/>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]