anjuta r3477 - in trunk: . plugins/document-manager plugins/symbol-browser
- From: jhs svn gnome org
- To: svn-commits-list gnome org
- Subject: anjuta r3477 - in trunk: . plugins/document-manager plugins/symbol-browser
- Date: Wed, 16 Jan 2008 13:44:03 +0000 (GMT)
Author: jhs
Date: Wed Jan 16 13:44:03 2008
New Revision: 3477
URL: http://svn.gnome.org/viewvc/anjuta?rev=3477&view=rev
Log:
2008-01-16 Johannes Schmid <jhs gnome org>
* plugins/document-manager/anjuta-document-manager.glade:
* plugins/symbol-browser/anjuta-symbol-browser-plugin.glade:
Fixed #509865 â Incorrect padding in the Documents settings tabs
Fixed #509867 â Create button contents is mis-aligned
Fixed #509869 â \"Add Directory\" button is not HIG complient
Modified:
trunk/ChangeLog
trunk/plugins/document-manager/anjuta-document-manager.glade
trunk/plugins/symbol-browser/anjuta-symbol-browser-plugin.glade
Modified: trunk/plugins/document-manager/anjuta-document-manager.glade
==============================================================================
--- trunk/plugins/document-manager/anjuta-document-manager.glade (original)
+++ trunk/plugins/document-manager/anjuta-document-manager.glade Wed Jan 16 13:44:03 2008
@@ -8,7 +8,6 @@
<widget class="GtkNotebook" id="Documents">
<property name="visible">True</property>
<property name="can_focus">True</property>
- <property name="tab_border">0</property>
<child>
<widget class="GtkHBox" id="page1">
<property name="visible">True</property>
@@ -50,13 +49,26 @@
<property name="column_spacing">5</property>
<property name="row_spacing">5</property>
<child>
- <widget class="GtkSpinButton" id="preferences_spin:int:10:0:save.session.timer">
- <property name="can_focus">True</property>
- <property name="adjustment">10 0 1000 1 10 10</property>
- <property name="climb_rate">1</property>
- <property name="numeric">True</property>
+ <widget class="GtkLabel" id="label115">
+ <property name="visible">True</property>
+ <property name="xalign">0</property>
+ <property name="label" translatable="yes">Save files interval in minutes</property>
+ </widget>
+ <packing>
+ <property name="left_attach">1</property>
+ <property name="right_attach">2</property>
+ <property name="x_options">GTK_FILL</property>
+ <property name="y_options"></property>
+ </packing>
+ </child>
+ <child>
+ <widget class="GtkLabel" id="label116">
+ <property name="xalign">0</property>
+ <property name="label" translatable="yes">Save session interval in minutes</property>
</widget>
<packing>
+ <property name="left_attach">1</property>
+ <property name="right_attach">2</property>
<property name="top_attach">1</property>
<property name="bottom_attach">2</property>
<property name="x_options">GTK_FILL</property>
@@ -77,32 +89,19 @@
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label116">
- <property name="xalign">0</property>
- <property name="label" translatable="yes">Save session interval in minutes</property>
+ <widget class="GtkSpinButton" id="preferences_spin:int:10:0:save.session.timer">
+ <property name="can_focus">True</property>
+ <property name="adjustment">10 0 1000 1 10 10</property>
+ <property name="climb_rate">1</property>
+ <property name="numeric">True</property>
</widget>
<packing>
- <property name="left_attach">1</property>
- <property name="right_attach">2</property>
<property name="top_attach">1</property>
<property name="bottom_attach">2</property>
<property name="x_options">GTK_FILL</property>
<property name="y_options"></property>
</packing>
</child>
- <child>
- <widget class="GtkLabel" id="label115">
- <property name="visible">True</property>
- <property name="xalign">0</property>
- <property name="label" translatable="yes">Save files interval in minutes</property>
- </widget>
- <packing>
- <property name="left_attach">1</property>
- <property name="right_attach">2</property>
- <property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
- </packing>
- </child>
</widget>
<packing>
<property name="expand">False</property>
@@ -304,15 +303,18 @@
<property name="n_rows">3</property>
<property name="n_columns">1</property>
<child>
- <widget class="GtkRadioButton" id="radiobutton10">
+ <widget class="GtkRadioButton" id="preferences_toggle:bool:0:0:save.encoding.current.locale">
<property name="visible">True</property>
<property name="can_focus">True</property>
- <property name="label" translatable="yes">Always save in UTF-8 encoding (faster)</property>
+ <property name="label" translatable="yes">Try to save in current locale's encoding</property>
<property name="use_underline">True</property>
<property name="response_id">0</property>
<property name="draw_indicator">True</property>
+ <property name="group">radiobutton10</property>
</widget>
<packing>
+ <property name="top_attach">2</property>
+ <property name="bottom_attach">3</property>
<property name="x_options">GTK_FILL</property>
<property name="y_options"></property>
</packing>
@@ -335,18 +337,15 @@
</packing>
</child>
<child>
- <widget class="GtkRadioButton" id="preferences_toggle:bool:0:0:save.encoding.current.locale">
+ <widget class="GtkRadioButton" id="radiobutton10">
<property name="visible">True</property>
<property name="can_focus">True</property>
- <property name="label" translatable="yes">Try to save in current locale's encoding</property>
+ <property name="label" translatable="yes">Always save in UTF-8 encoding (faster)</property>
<property name="use_underline">True</property>
<property name="response_id">0</property>
<property name="draw_indicator">True</property>
- <property name="group">radiobutton10</property>
</widget>
<packing>
- <property name="top_attach">2</property>
- <property name="bottom_attach">3</property>
<property name="x_options">GTK_FILL</property>
<property name="y_options"></property>
</packing>
Modified: trunk/plugins/symbol-browser/anjuta-symbol-browser-plugin.glade
==============================================================================
--- trunk/plugins/symbol-browser/anjuta-symbol-browser-plugin.glade (original)
+++ trunk/plugins/symbol-browser/anjuta-symbol-browser-plugin.glade Wed Jan 16 13:44:03 2008
@@ -254,43 +254,30 @@
<property name="can_focus">True</property>
<property name="response_id">0</property>
<child>
- <widget class="GtkAlignment" id="alignment3">
+ <widget class="GtkHBox" id="hbox4">
<property name="visible">True</property>
- <property name="xalign">0</property>
- <property name="yalign">0</property>
- <property name="xscale">0</property>
- <property name="yscale">0</property>
+ <property name="spacing">2</property>
<child>
- <widget class="GtkHBox" id="hbox4">
+ <widget class="GtkImage" id="image1">
<property name="visible">True</property>
- <property name="spacing">2</property>
- <child>
- <widget class="GtkImage" id="image1">
- <property name="visible">True</property>
- <property name="xalign">0</property>
- <property name="yalign">0</property>
- <property name="stock">gtk-add</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="label33">
- <property name="visible">True</property>
- <property name="xalign">0</property>
- <property name="yalign">0</property>
- <property name="label" translatable="yes">Add directory</property>
- <property name="use_underline">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">1</property>
- </packing>
- </child>
+ <property name="xalign">0</property>
+ <property name="yalign">0</property>
+ <property name="stock">gtk-add</property>
</widget>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ </packing>
+ </child>
+ <child>
+ <widget class="GtkLabel" id="label1">
+ <property name="visible">True</property>
+ <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+ <property name="label" translatable="yes">Add Directory</property>
+ </widget>
+ <packing>
+ <property name="position">1</property>
+ </packing>
</child>
</widget>
</child>
@@ -390,16 +377,12 @@
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label34">
+ <widget class="GtkLabel" id="label2">
<property name="visible">True</property>
- <property name="xalign">0</property>
- <property name="yalign">0</property>
- <property name="label" translatable="yes">Crea_te</property>
- <property name="use_underline">True</property>
+ <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+ <property name="label" translatable="yes">Create</property>
</widget>
<packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
<property name="position">1</property>
</packing>
</child>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
