[gnome-builder] omnibar: hide some widgets by default
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] omnibar: hide some widgets by default
- Date: Tue, 28 Jun 2016 00:07:04 +0000 (UTC)
commit 163a78cf14cacc405d2f06d0006edc24ee871c14
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]