[anjuta] document-manager: Fix bgo#654560 - Contents of Preferences tabs seem to be packed to fill all vertic
- From: Johannes Schmid <jhs src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [anjuta] document-manager: Fix bgo#654560 - Contents of Preferences tabs seem to be packed to fill all vertic
- Date: Sun, 17 Jul 2011 08:35:53 +0000 (UTC)
commit c74d077fe92d769a4bc4b1989f5c10bf3dbe4ae6
Author: Johannes Schmid <jhs gnome org>
Date: Sun Jul 17 10:25:41 2011 +0200
document-manager: Fix bgo#654560 - Contents of Preferences tabs seem to be packed to fill all vertical space, with ugly consequences
.../document-manager/anjuta-document-manager.ui | 38 +++++++++++++++++--
1 files changed, 34 insertions(+), 4 deletions(-)
---
diff --git a/plugins/document-manager/anjuta-document-manager.ui b/plugins/document-manager/anjuta-document-manager.ui
index 40ad9c5..b16b4be 100644
--- a/plugins/document-manager/anjuta-document-manager.ui
+++ b/plugins/document-manager/anjuta-document-manager.ui
@@ -1,17 +1,16 @@
-<?xml version="1.0"?>
+<?xml version="1.0" encoding="UTF-8"?>
<interface>
<requires lib="gtk+" version="2.16"/>
- <!-- interface-naming-policy toplevel-contextual -->
<object class="GtkAdjustment" id="adjustment1">
- <property name="value">10</property>
<property name="lower">1</property>
<property name="upper">1000</property>
+ <property name="value">10</property>
<property name="step_increment">1</property>
<property name="page_increment">10</property>
</object>
<object class="GtkAdjustment" id="adjustment2">
- <property name="value">10</property>
<property name="upper">1000</property>
+ <property name="value">10</property>
<property name="step_increment">1</property>
<property name="page_increment">10</property>
</object>
@@ -36,24 +35,29 @@
</data>
</object>
<object class="GtkWindow" id="preferences_dialog">
+ <property name="can_focus">False</property>
<property name="title" translatable="yes">window1</property>
<child>
<object class="GtkHBox" id="Documents">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">5</property>
<property name="spacing">5</property>
<child>
<object class="GtkVBox" id="vbox31">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="spacing">5</property>
<child>
<object class="GtkFrame" id="frame46">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label_xalign">0</property>
<property name="shadow_type">none</property>
<child>
<object class="GtkVBox" id="vbox1119">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">5</property>
<property name="spacing">5</property>
<child>
@@ -62,6 +66,7 @@
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
+ <property name="use_action_appearance">False</property>
<property name="use_underline">True</property>
<property name="draw_indicator">True</property>
</object>
@@ -74,6 +79,7 @@
<child>
<object class="GtkTable" id="table28">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="n_rows">2</property>
<property name="n_columns">2</property>
<property name="column_spacing">5</property>
@@ -81,6 +87,7 @@
<child>
<object class="GtkLabel" id="label115">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="xalign">0</property>
<property name="label" translatable="yes">Save files interval in minutes</property>
</object>
@@ -93,6 +100,7 @@
</child>
<child>
<object class="GtkLabel" id="label116">
+ <property name="can_focus">False</property>
<property name="xalign">0</property>
<property name="label" translatable="yes">Save session interval in minutes</property>
</object>
@@ -135,6 +143,7 @@
</object>
<packing>
<property name="expand">False</property>
+ <property name="fill">True</property>
<property name="position">1</property>
</packing>
</child>
@@ -143,6 +152,7 @@
<child type="label">
<object class="GtkLabel" id="label12335">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Autosave</property>
<attributes>
<attribute name="weight" value="bold"/>
@@ -152,6 +162,7 @@
</object>
<packing>
<property name="expand">False</property>
+ <property name="fill">True</property>
<property name="position">0</property>
</packing>
</child>
@@ -164,12 +175,14 @@
</object>
<packing>
<property name="expand">False</property>
+ <property name="fill">True</property>
<property name="position">0</property>
</packing>
</child>
<child>
<object class="GtkVBox" id="vbox32">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="spacing">5</property>
<child>
<placeholder/>
@@ -177,11 +190,13 @@
<child>
<object class="GtkFrame" id="frame31">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label_xalign">0</property>
<property name="shadow_type">none</property>
<child>
<object class="GtkVBox" id="vbox33">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">5</property>
<property name="spacing">5</property>
<child>
@@ -190,6 +205,7 @@
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
+ <property name="use_action_appearance">False</property>
<property name="use_underline">True</property>
<property name="active">True</property>
<property name="draw_indicator">True</property>
@@ -206,6 +222,7 @@
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
+ <property name="use_action_appearance">False</property>
<property name="use_underline">True</property>
<property name="draw_indicator">True</property>
<property name="group">radiobutton9</property>
@@ -222,6 +239,7 @@
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
+ <property name="use_action_appearance">False</property>
<property name="use_underline">True</property>
<property name="draw_indicator">True</property>
<property name="group">radiobutton9</property>
@@ -238,6 +256,7 @@
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
+ <property name="use_action_appearance">False</property>
<property name="use_underline">True</property>
<property name="draw_indicator">True</property>
<property name="group">radiobutton9</property>
@@ -251,11 +270,13 @@
<child>
<object class="GtkHBox" id="hbox27">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">5</property>
<property name="spacing">5</property>
<child>
<object class="GtkLabel" id="label117">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Position:</property>
</object>
<packing>
@@ -267,6 +288,7 @@
<child>
<object class="GtkComboBox" id="preferences_combo:text:Top,Bottom,Left,Right:0:docman-tabs-pos">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<property name="model">model1</property>
<child>
@@ -277,11 +299,15 @@
</child>
</object>
<packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
<property name="position">1</property>
</packing>
</child>
</object>
<packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
<property name="position">4</property>
</packing>
</child>
@@ -293,6 +319,7 @@
<child type="label">
<object class="GtkLabel" id="label113">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Editor tabs</property>
<attributes>
<attribute name="weight" value="bold"/>
@@ -302,11 +329,14 @@
</object>
<packing>
<property name="expand">False</property>
+ <property name="fill">True</property>
<property name="position">1</property>
</packing>
</child>
</object>
<packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
<property name="position">1</property>
</packing>
</child>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]