[gnome-builder] GbEditorTweakWidget: layout tweaks
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] GbEditorTweakWidget: layout tweaks
- Date: Wed, 17 Dec 2014 10:49:35 +0000 (UTC)
commit 312772b27fbb09c34f38cd90afcad0c321f8c18b
Author: Christian Hergert <christian hergert me>
Date: Tue Dec 16 20:49:35 2014 -0800
GbEditorTweakWidget: layout tweaks
src/resources/ui/gb-editor-tweak-widget.ui | 29 ++++++++++++++++++++++++---
1 files changed, 25 insertions(+), 4 deletions(-)
---
diff --git a/src/resources/ui/gb-editor-tweak-widget.ui b/src/resources/ui/gb-editor-tweak-widget.ui
index 5c978e5..7f31a8a 100644
--- a/src/resources/ui/gb-editor-tweak-widget.ui
+++ b/src/resources/ui/gb-editor-tweak-widget.ui
@@ -2,7 +2,7 @@
<interface>
<!-- interface-requires gtk+ 3.8 -->
<template class="GbEditorTweakWidget" parent="GtkBin">
- <property name="width_request">250</property>
+ <property name="width_request">200</property>
<property name="height_request">400</property>
<child>
<object class="GtkBox">
@@ -46,9 +46,18 @@
<property name="orientation">vertical</property>
<property name="spacing">6</property>
<child>
+ <object class="GtkLabel">
+ <property name="visible">true</property>
+ <property name="label" translatable="yes">Spacing</property>
+ <style>
+ <class name="dim-label"/>
+ </style>
+ </object>
+ </child>
+ <child>
<object class="GtkModelButton">
<property name="visible">true</property>
- <property name="label" translatable="yes">Auto Indent</property>
+ <property name="label" translatable="yes">Auto indent</property>
<property name="action_name">editor-view.auto-indent</property>
<property name="role">check</property>
<property name="halign">fill</property>
@@ -67,21 +76,33 @@
</child>
<child>
<object class="GtkSeparator">
- <property name="visible">true</property>
+ <property name="visible">false</property>
<property name="margin_top">3</property>
<property name="margin_bottom">3</property>
</object>
</child>
<child>
+ <object class="GtkLabel">
+ <property name="visible">true</property>
+ <property name="margin_top">6</property>
+ <property name="label" translatable="yes">Tab width</property>
+ <style>
+ <class name="dim-label"/>
+ </style>
+ </object>
+ </child>
+<!-- TODO: implement auto detection.
+ <child>
<object class="GtkModelButton">
<property name="visible">true</property>
<property name="action_name">editor-view.detect_indent</property>
- <property name="label" translatable="yes">Detect tab width</property>
+ <property name="label" translatable="yes">Auto Detect</property>
<property name="role">check</property>
<property name="halign">fill</property>
<property name="xalign">0.0</property>
</object>
</child>
+-->
<child>
<object class="GtkModelButton">
<property name="visible">true</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]