[gnome-builder/editor-layout] hide completion headers
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/editor-layout] hide completion headers
- Date: Sun, 30 Nov 2014 04:10:02 +0000 (UTC)
commit d57b63a12f426a3445062a32ee30e059210aeabf
Author: Christian Hergert <christian hergert me>
Date: Sat Nov 29 20:09:49 2014 -0800
hide completion headers
src/resources/ui/gb-editor-frame.ui | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/src/resources/ui/gb-editor-frame.ui b/src/resources/ui/gb-editor-frame.ui
index 07d06e0..bd56335 100644
--- a/src/resources/ui/gb-editor-frame.ui
+++ b/src/resources/ui/gb-editor-frame.ui
@@ -98,6 +98,11 @@
<property name="show-line-numbers">true</property>
<property name="show-right-margin">true</property>
<property name="right-margin-position">80</property>
+ <child internal-child="completion">
+ <object class="GtkSourceCompletion">
+ <property name="show-headers">false</property>
+ </object>
+ </child>
</object>
</child>
</object>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]