Author: lluis
Date: 2008-02-19 13:42:34 -0500 (Tue, 19 Feb 2008)
New Revision: 96172
Modified:
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.GotoLineNumberWidget.cs
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.SearchAndReplaceWidget.cs
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.SearchWidget.cs
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/gui.stetic
Log:
* gtk-gui/MonoDevelop.SourceEditor.SearchAndReplaceWidget.cs,
gtk-gui/MonoDevelop.SourceEditor.SearchWidget.cs,
gtk-gui/MonoDevelop.SourceEditor.GotoLineNumberWidget.cs,
gtk-gui/gui.stetic: Use buttons without relief for the
search/replace widgets.
Modified: trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
===================================================================
--- trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
2008-02-19 18:22:18 UTC (rev 96171)
+++ trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
2008-02-19 18:42:34 UTC (rev 96172)
@@ -1,3 +1,11 @@
+2008-02-19 Lluis Sanchez Gual <[EMAIL PROTECTED]>
+
+ * gtk-gui/MonoDevelop.SourceEditor.SearchAndReplaceWidget.cs,
+ gtk-gui/MonoDevelop.SourceEditor.SearchWidget.cs,
+ gtk-gui/MonoDevelop.SourceEditor.GotoLineNumberWidget.cs,
+ gtk-gui/gui.stetic: Use buttons without relief for the search/replace
+ widgets.
+
2008-02-19 Mike Krüger <[EMAIL PROTECTED]>
* MonoDevelop.SourceEditor/SourceEditorView.cs: Fixed toggle code
comment
Modified:
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.GotoLineNumberWidget.cs
===================================================================
---
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.GotoLineNumberWidget.cs
2008-02-19 18:22:18 UTC (rev 96171)
+++
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.GotoLineNumberWidget.cs
2008-02-19 18:42:34 UTC (rev 96172)
@@ -38,6 +38,7 @@
this.closeButton = new Gtk.Button();
this.closeButton.CanFocus = true;
this.closeButton.Name = "closeButton";
+ this.closeButton.Relief = ((Gtk.ReliefStyle)(2));
// Container child closeButton.Gtk.Container+ContainerChild
this.image1 = new Gtk.Image();
this.image1.Name = "image1";
@@ -75,6 +76,7 @@
this.buttonGoToLine.CanFocus = true;
this.buttonGoToLine.Name = "buttonGoToLine";
this.buttonGoToLine.UseUnderline = true;
+ this.buttonGoToLine.Relief = ((Gtk.ReliefStyle)(2));
// Container child buttonGoToLine.Gtk.Container+ContainerChild
Gtk.Alignment w5 = new Gtk.Alignment(0.5F, 0.5F, 0F, 0F);
// Container child GtkAlignment.Gtk.Container+ContainerChild
Modified:
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.SearchAndReplaceWidget.cs
===================================================================
---
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.SearchAndReplaceWidget.cs
2008-02-19 18:22:18 UTC (rev 96171)
+++
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.SearchAndReplaceWidget.cs
2008-02-19 18:42:34 UTC (rev 96172)
@@ -77,6 +77,7 @@
this.closeButton = new Gtk.Button();
this.closeButton.CanFocus = true;
this.closeButton.Name = "closeButton";
+ this.closeButton.Relief = ((Gtk.ReliefStyle)(2));
// Container child closeButton.Gtk.Container+ContainerChild
this.image4 = new Gtk.Image();
this.image4.Name = "image4";
@@ -116,6 +117,7 @@
this.buttonSearchForward.CanFocus = true;
this.buttonSearchForward.Name = "buttonSearchForward";
this.buttonSearchForward.UseUnderline = true;
+ this.buttonSearchForward.Relief = ((Gtk.ReliefStyle)(2));
// Container child buttonSearchForward.Gtk.Container+ContainerChild
Gtk.Alignment w5 = new Gtk.Alignment(0.5F, 0.5F, 0F, 0F);
// Container child GtkAlignment.Gtk.Container+ContainerChild
@@ -142,6 +144,7 @@
this.buttonSearchBackward.CanFocus = true;
this.buttonSearchBackward.Name = "buttonSearchBackward";
this.buttonSearchBackward.UseUnderline = true;
+ this.buttonSearchBackward.Relief = ((Gtk.ReliefStyle)(2));
// Container child
buttonSearchBackward.Gtk.Container+ContainerChild
Gtk.Alignment w14 = new Gtk.Alignment(0.5F, 0.5F, 0F, 0F);
// Container child GtkAlignment.Gtk.Container+ContainerChild
@@ -168,6 +171,7 @@
this.buttonOptions.CanFocus = true;
this.buttonOptions.Name = "buttonOptions";
this.buttonOptions.UseUnderline = true;
+ this.buttonOptions.Relief = ((Gtk.ReliefStyle)(2));
// Container child buttonOptions.Gtk.Container+ContainerChild
Gtk.Alignment w23 = new Gtk.Alignment(0.5F, 0.5F, 0F, 0F);
// Container child GtkAlignment.Gtk.Container+ContainerChild
@@ -204,6 +208,7 @@
this.buttonReplace.CanFocus = true;
this.buttonReplace.Name = "buttonReplace";
this.buttonReplace.UseUnderline = true;
+ this.buttonReplace.Relief = ((Gtk.ReliefStyle)(2));
// Container child buttonReplace.Gtk.Container+ContainerChild
Gtk.Alignment w33 = new Gtk.Alignment(0.5F, 0.5F, 0F, 0F);
// Container child GtkAlignment.Gtk.Container+ContainerChild
@@ -230,6 +235,7 @@
this.buttonReplaceAll.CanFocus = true;
this.buttonReplaceAll.Name = "buttonReplaceAll";
this.buttonReplaceAll.UseUnderline = true;
+ this.buttonReplaceAll.Relief = ((Gtk.ReliefStyle)(2));
this.buttonReplaceAll.Label = Mono.Unix.Catalog.GetString("Replace
_all");
this.hbox2.Add(this.buttonReplaceAll);
Gtk.Box.BoxChild w42 =
((Gtk.Box.BoxChild)(this.hbox2[this.buttonReplaceAll]));
@@ -319,6 +325,7 @@
this.buttonSearchMode = new Gtk.Button();
this.buttonSearchMode.CanFocus = true;
this.buttonSearchMode.Name = "buttonSearchMode";
+ this.buttonSearchMode.Relief = ((Gtk.ReliefStyle)(2));
// Container child buttonSearchMode.Gtk.Container+ContainerChild
this.arrow4 = new Gtk.Arrow(((Gtk.ArrowType)(1)),
((Gtk.ShadowType)(0)));
this.arrow4.Name = "arrow4";
Modified:
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.SearchWidget.cs
===================================================================
---
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.SearchWidget.cs
2008-02-19 18:22:18 UTC (rev 96171)
+++
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.SearchWidget.cs
2008-02-19 18:42:34 UTC (rev 96172)
@@ -48,6 +48,7 @@
this.closeButton = new Gtk.Button();
this.closeButton.CanFocus = true;
this.closeButton.Name = "closeButton";
+ this.closeButton.Relief = ((Gtk.ReliefStyle)(2));
// Container child closeButton.Gtk.Container+ContainerChild
this.image1 = new Gtk.Image();
this.image1.Name = "image1";
@@ -82,6 +83,7 @@
this.buttonSearchForward.CanFocus = true;
this.buttonSearchForward.Name = "buttonSearchForward";
this.buttonSearchForward.UseUnderline = true;
+ this.buttonSearchForward.Relief = ((Gtk.ReliefStyle)(2));
// Container child buttonSearchForward.Gtk.Container+ContainerChild
Gtk.Alignment w5 = new Gtk.Alignment(0.5F, 0.5F, 0F, 0F);
// Container child GtkAlignment.Gtk.Container+ContainerChild
@@ -108,6 +110,7 @@
this.buttonSearchBackward.CanFocus = true;
this.buttonSearchBackward.Name = "buttonSearchBackward";
this.buttonSearchBackward.UseUnderline = true;
+ this.buttonSearchBackward.Relief = ((Gtk.ReliefStyle)(2));
// Container child
buttonSearchBackward.Gtk.Container+ContainerChild
Gtk.Alignment w14 = new Gtk.Alignment(0.5F, 0.5F, 0F, 0F);
// Container child GtkAlignment.Gtk.Container+ContainerChild
@@ -134,6 +137,7 @@
this.buttonOptions.CanFocus = true;
this.buttonOptions.Name = "buttonOptions";
this.buttonOptions.UseUnderline = true;
+ this.buttonOptions.Relief = ((Gtk.ReliefStyle)(2));
// Container child buttonOptions.Gtk.Container+ContainerChild
Gtk.Alignment w23 = new Gtk.Alignment(0.5F, 0.5F, 0F, 0F);
// Container child GtkAlignment.Gtk.Container+ContainerChild
@@ -166,6 +170,7 @@
this.buttonReplaceMode = new Gtk.Button();
this.buttonReplaceMode.CanFocus = true;
this.buttonReplaceMode.Name = "buttonReplaceMode";
+ this.buttonReplaceMode.Relief = ((Gtk.ReliefStyle)(2));
// Container child buttonReplaceMode.Gtk.Container+ContainerChild
this.arrow1 = new Gtk.Arrow(((Gtk.ArrowType)(0)),
((Gtk.ShadowType)(1)));
this.arrow1.Name = "arrow1";
Modified:
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/gui.stetic
===================================================================
---
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/gui.stetic
2008-02-19 18:22:18 UTC (rev 96171)
+++
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/gui.stetic
2008-02-19 18:42:34 UTC (rev 96172)
@@ -805,7 +805,7 @@
</widget>
</child>
</widget>
- <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.SearchWidget"
design-size="571 28">
+ <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.SearchWidget"
design-size="571 30">
<property name="MemberName" />
<child>
<widget class="Gtk.HBox" id="hbox1">
@@ -816,6 +816,7 @@
<property name="MemberName" />
<property name="CanFocus">True</property>
<property name="Type">Custom</property>
+ <property name="Relief">None</property>
<child>
<widget class="Gtk.Image" id="image1">
<property name="MemberName" />
@@ -864,6 +865,7 @@
<property name="Icon">stock:gtk-go-forward Menu</property>
<property name="Label" translatable="yes">_Next</property>
<property name="UseUnderline">True</property>
+ <property name="Relief">None</property>
</widget>
<packing>
<property name="Position">3</property>
@@ -880,6 +882,7 @@
<property name="Icon">stock:gtk-go-back Menu</property>
<property name="Label" translatable="yes">_Previous</property>
<property name="UseUnderline">True</property>
+ <property name="Relief">None</property>
</widget>
<packing>
<property name="Position">4</property>
@@ -896,6 +899,7 @@
<property name="Icon">stock:gtk-preferences Menu</property>
<property name="Label" translatable="yes">_Options</property>
<property name="UseUnderline">True</property>
+ <property name="Relief">None</property>
</widget>
<packing>
<property name="Position">5</property>
@@ -919,6 +923,7 @@
<property name="MemberName" />
<property name="CanFocus">True</property>
<property name="Type">Custom</property>
+ <property name="Relief">None</property>
<child>
<widget class="Gtk.Arrow" id="arrow1">
<property name="MemberName" />
@@ -937,7 +942,7 @@
</widget>
</child>
</widget>
- <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.SearchAndReplaceWidget"
design-size="604 96">
+ <widget class="Gtk.Bin" id="MonoDevelop.SourceEditor.SearchAndReplaceWidget"
design-size="604 104">
<property name="MemberName" />
<child>
<widget class="Gtk.HBox" id="hbox3">
@@ -967,6 +972,7 @@
<property name="MemberName" />
<property name="CanFocus">True</property>
<property name="Type">Custom</property>
+ <property name="Relief">None</property>
<child>
<widget class="Gtk.Image" id="image4">
<property name="MemberName" />
@@ -1040,6 +1046,7 @@
<property name="Icon">stock:gtk-go-forward Menu</property>
<property name="Label" translatable="yes">_Next</property>
<property name="UseUnderline">True</property>
+ <property name="Relief">None</property>
</widget>
<packing>
<property name="Position">0</property>
@@ -1056,6 +1063,7 @@
<property name="Icon">stock:gtk-go-back Menu</property>
<property name="Label"
translatable="yes">_Previous</property>
<property name="UseUnderline">True</property>
+ <property name="Relief">None</property>
</widget>
<packing>
<property name="Position">1</property>
@@ -1072,6 +1080,7 @@
<property name="Icon">stock:gtk-preferences Menu</property>
<property name="Label"
translatable="yes">_Options</property>
<property name="UseUnderline">True</property>
+ <property name="Relief">None</property>
</widget>
<packing>
<property name="Position">2</property>
@@ -1107,6 +1116,7 @@
<property name="Icon">stock:gtk-find-and-replace
Menu</property>
<property name="Label"
translatable="yes">_Replace</property>
<property name="UseUnderline">True</property>
+ <property name="Relief">None</property>
</widget>
<packing>
<property name="Position">0</property>
@@ -1122,6 +1132,7 @@
<property name="Type">TextOnly</property>
<property name="Label" translatable="yes">Replace
_all</property>
<property name="UseUnderline">True</property>
+ <property name="Relief">None</property>
</widget>
<packing>
<property name="Position">1</property>
@@ -1264,6 +1275,7 @@
<property name="MemberName" />
<property name="CanFocus">True</property>
<property name="Type">Custom</property>
+ <property name="Relief">None</property>
<child>
<widget class="Gtk.Arrow" id="arrow4">
<property name="MemberName" />
@@ -1313,6 +1325,7 @@
<property name="MemberName" />
<property name="CanFocus">True</property>
<property name="Type">Custom</property>
+ <property name="Relief">None</property>
<child>
<widget class="Gtk.Image" id="image1">
<property name="MemberName" />
@@ -1362,6 +1375,7 @@
<property name="Icon">stock:gtk-jump-to Menu</property>
<property name="Label" translatable="yes">_Go to Line</property>
<property name="UseUnderline">True</property>
+ <property name="Relief">None</property>
</widget>
<packing>
<property name="Position">3</property>
_______________________________________________
Mono-patches maillist - [email protected]
http://lists.ximian.com/mailman/listinfo/mono-patches