anjuta r3529 - in trunk: . plugins/editor

[naba svn gnome org]

Author: naba
Date: Sun Jan 27 09:56:32 2008
New Revision: 3529
URL: http://svn.gnome.org/viewvc/anjuta?rev=3529&view=rev

Log:
	* plugins/editor/anjuta-editor-scintilla.glade:
	Fixes Bug #427108 - Scintilla plugin configuration folding-style
	setting not working


Modified:
   trunk/ChangeLog
   trunk/plugins/editor/anjuta-editor-scintilla.glade

Modified: trunk/plugins/editor/anjuta-editor-scintilla.glade
==============================================================================
--- trunk/plugins/editor/anjuta-editor-scintilla.glade	(original)
+++ trunk/plugins/editor/anjuta-editor-scintilla.glade	Sun Jan 27 09:56:32 2008
@@ -249,14 +249,16 @@
                               </packing>
                             </child>
                             <child>
-                              <widget class="GtkOptionMenu" id="preferences_menu:text:Plus/Minus,Arrows,Circular,Squares:0:fold.symbols">
+                              <widget class="GtkComboBox" id="preferences_combo:text:Plus/Minus,Arrows,Circular,Squares:0:fold.symbols">
                                 <property name="visible">True</property>
-                                <property name="can_focus">True</property>
-                                <property name="response_id">0</property>
+                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
+                                <property name="items" translatable="yes">Plus/Minus
+Arrows
+Circular
+Squares</property>
                               </widget>
                               <packing>
                                 <property name="expand">False</property>
-                                <property name="fill">False</property>
                                 <property name="position">1</property>
                               </packing>
                             </child>