Author: mkrueger
Date: 2008-02-08 16:40:14 -0500 (Fri, 08 Feb 2008)
New Revision: 95304

Modified:
   trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
   
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.BehaviorPanel.cs
   
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.GeneralOptionsPanel.cs
   
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel.cs
   
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.MarkerPanel.cs
   
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/gui.stetic
Log:
* gtk-gui/MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel.cs:
  Changed the highlighting panel.

Modified: trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog
===================================================================
--- trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog       
2008-02-08 21:35:39 UTC (rev 95303)
+++ trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/ChangeLog       
2008-02-08 21:40:14 UTC (rev 95304)
@@ -1,5 +1,10 @@
 2008-02-08  Mike Krüger <[EMAIL PROTECTED]> 
 
+       * gtk-gui/MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel.cs:
+         Changed the highlighting panel.
+
+2008-02-08  Mike Krüger <[EMAIL PROTECTED]> 
+
        * MonoDevelop.SourceEditor/SourceEditorView.cs: TextChange is now fired.
 
 2008-02-08  Mike Krüger <[EMAIL PROTECTED]> 

Modified: 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.BehaviorPanel.cs
===================================================================
--- 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.BehaviorPanel.cs
  2008-02-08 21:35:39 UTC (rev 95303)
+++ 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.BehaviorPanel.cs
  2008-02-08 21:40:14 UTC (rev 95304)
@@ -48,7 +48,6 @@
             this.Name = "MonoDevelop.SourceEditor.OptionPanels.BehaviorPanel";
             // Container child 
MonoDevelop.SourceEditor.OptionPanels.BehaviorPanel.Gtk.Container+ContainerChild
             this.vbox1 = new Gtk.VBox();
-            this.vbox1.Name = "vbox1";
             this.vbox1.Spacing = 6;
             // Container child vbox1.Gtk.Box+BoxChild
             this.autoInsertTemplateCheckbutton = new Gtk.CheckButton();

Modified: 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.GeneralOptionsPanel.cs
===================================================================
--- 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.GeneralOptionsPanel.cs
    2008-02-08 21:35:39 UTC (rev 95303)
+++ 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.GeneralOptionsPanel.cs
    2008-02-08 21:40:14 UTC (rev 95304)
@@ -42,7 +42,6 @@
             this.Name = 
"MonoDevelop.SourceEditor.OptionPanels.GeneralOptionsPanel";
             // Container child 
MonoDevelop.SourceEditor.OptionPanels.GeneralOptionsPanel.Gtk.Container+ContainerChild
             this.vbox1 = new Gtk.VBox();
-            this.vbox1.Name = "vbox1";
             this.vbox1.Spacing = 6;
             // Container child vbox1.Gtk.Box+BoxChild
             this.codeCompletioncheckbutton = new Gtk.CheckButton();

Modified: 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel.cs
===================================================================
--- 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel.cs
      2008-02-08 21:35:39 UTC (rev 95303)
+++ 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel.cs
      2008-02-08 21:40:14 UTC (rev 95304)
@@ -15,6 +15,16 @@
         
         private Gtk.VBox vbox4;
         
+        private Gtk.Frame frame5;
+        
+        private Gtk.Alignment GtkAlignment3;
+        
+        private Gtk.VBox vbox6;
+        
+        private Gtk.CheckButton enableHighlightingCheckbutton;
+        
+        private Gtk.Label GtkLabel4;
+        
         private Gtk.Frame frame4;
         
         private Gtk.Alignment GtkAlignment;
@@ -31,22 +41,8 @@
         
         private Gtk.Button button2;
         
-        private Gtk.Label GtkLabel2;
+        private Gtk.Label GtkLabel3;
         
-        private Gtk.Frame frame5;
-        
-        private Gtk.Alignment GtkAlignment3;
-        
-        private Gtk.VBox vbox6;
-        
-        private Gtk.CheckButton enableHighlightingCheckbutton;
-        
-        private Gtk.ScrolledWindow GtkScrolledWindow;
-        
-        private Gtk.TreeView treeview2;
-        
-        private Gtk.Label GtkLabel4;
-        
         protected virtual void Build() {
             Stetic.Gui.Initialize(this);
             // Widget MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel
@@ -57,6 +53,42 @@
             this.vbox4.Name = "vbox4";
             this.vbox4.Spacing = 6;
             // Container child vbox4.Gtk.Box+BoxChild
+            this.frame5 = new Gtk.Frame();
+            this.frame5.Name = "frame5";
+            this.frame5.ShadowType = ((Gtk.ShadowType)(0));
+            // Container child frame5.Gtk.Container+ContainerChild
+            this.GtkAlignment3 = new Gtk.Alignment(0F, 0F, 1F, 1F);
+            this.GtkAlignment3.Name = "GtkAlignment3";
+            this.GtkAlignment3.LeftPadding = ((uint)(12));
+            // Container child GtkAlignment3.Gtk.Container+ContainerChild
+            this.vbox6 = new Gtk.VBox();
+            this.vbox6.Name = "vbox6";
+            this.vbox6.Spacing = 6;
+            // Container child vbox6.Gtk.Box+BoxChild
+            this.enableHighlightingCheckbutton = new Gtk.CheckButton();
+            this.enableHighlightingCheckbutton.CanFocus = true;
+            this.enableHighlightingCheckbutton.Name = 
"enableHighlightingCheckbutton";
+            this.enableHighlightingCheckbutton.Label = 
Mono.Unix.Catalog.GetString("_Enable highlighting");
+            this.enableHighlightingCheckbutton.DrawIndicator = true;
+            this.enableHighlightingCheckbutton.UseUnderline = true;
+            this.vbox6.Add(this.enableHighlightingCheckbutton);
+            Gtk.Box.BoxChild w1 = 
((Gtk.Box.BoxChild)(this.vbox6[this.enableHighlightingCheckbutton]));
+            w1.Position = 0;
+            w1.Expand = false;
+            w1.Fill = false;
+            this.GtkAlignment3.Add(this.vbox6);
+            this.frame5.Add(this.GtkAlignment3);
+            this.GtkLabel4 = new Gtk.Label();
+            this.GtkLabel4.Name = "GtkLabel4";
+            this.GtkLabel4.LabelProp = Mono.Unix.Catalog.GetString("<b>Syntax 
highlighting</b>");
+            this.GtkLabel4.UseMarkup = true;
+            this.frame5.LabelWidget = this.GtkLabel4;
+            this.vbox4.Add(this.frame5);
+            Gtk.Box.BoxChild w4 = 
((Gtk.Box.BoxChild)(this.vbox4[this.frame5]));
+            w4.Position = 0;
+            w4.Expand = false;
+            w4.Fill = false;
+            // Container child vbox4.Gtk.Box+BoxChild
             this.frame4 = new Gtk.Frame();
             this.frame4.Name = "frame4";
             this.frame4.ShadowType = ((Gtk.ShadowType)(0));
@@ -74,19 +106,19 @@
             this.scrolledwindow1.Name = "scrolledwindow1";
             this.scrolledwindow1.ShadowType = ((Gtk.ShadowType)(1));
             // Container child scrolledwindow1.Gtk.Container+ContainerChild
-            Gtk.Viewport w1 = new Gtk.Viewport();
-            w1.ShadowType = ((Gtk.ShadowType)(0));
+            Gtk.Viewport w5 = new Gtk.Viewport();
+            w5.ShadowType = ((Gtk.ShadowType)(0));
             // Container child GtkViewport.Gtk.Container+ContainerChild
             this.styleTreeview = new Gtk.TreeView();
             this.styleTreeview.CanFocus = true;
             this.styleTreeview.Name = "styleTreeview";
             this.styleTreeview.HeadersVisible = false;
             this.styleTreeview.HeadersClickable = true;
-            w1.Add(this.styleTreeview);
-            this.scrolledwindow1.Add(w1);
+            w5.Add(this.styleTreeview);
+            this.scrolledwindow1.Add(w5);
             this.vbox5.Add(this.scrolledwindow1);
-            Gtk.Box.BoxChild w4 = 
((Gtk.Box.BoxChild)(this.vbox5[this.scrolledwindow1]));
-            w4.Position = 0;
+            Gtk.Box.BoxChild w8 = 
((Gtk.Box.BoxChild)(this.vbox5[this.scrolledwindow1]));
+            w8.Position = 0;
             // Container child vbox5.Gtk.Box+BoxChild
             this.hbox2 = new Gtk.HBox();
             this.hbox2.Name = "hbox2";
@@ -99,10 +131,10 @@
             this.button1.UseUnderline = true;
             this.button1.Label = "gtk-add";
             this.hbox2.Add(this.button1);
-            Gtk.Box.BoxChild w5 = 
((Gtk.Box.BoxChild)(this.hbox2[this.button1]));
-            w5.Position = 1;
-            w5.Expand = false;
-            w5.Fill = false;
+            Gtk.Box.BoxChild w9 = 
((Gtk.Box.BoxChild)(this.hbox2[this.button1]));
+            w9.Position = 1;
+            w9.Expand = false;
+            w9.Fill = false;
             // Container child hbox2.Gtk.Box+BoxChild
             this.button2 = new Gtk.Button();
             this.button2.CanFocus = true;
@@ -111,72 +143,25 @@
             this.button2.UseUnderline = true;
             this.button2.Label = "gtk-remove";
             this.hbox2.Add(this.button2);
-            Gtk.Box.BoxChild w6 = 
((Gtk.Box.BoxChild)(this.hbox2[this.button2]));
-            w6.Position = 2;
-            w6.Expand = false;
-            w6.Fill = false;
+            Gtk.Box.BoxChild w10 = 
((Gtk.Box.BoxChild)(this.hbox2[this.button2]));
+            w10.Position = 2;
+            w10.Expand = false;
+            w10.Fill = false;
             this.vbox5.Add(this.hbox2);
-            Gtk.Box.BoxChild w7 = ((Gtk.Box.BoxChild)(this.vbox5[this.hbox2]));
-            w7.Position = 1;
-            w7.Expand = false;
-            w7.Fill = false;
+            Gtk.Box.BoxChild w11 = 
((Gtk.Box.BoxChild)(this.vbox5[this.hbox2]));
+            w11.Position = 1;
+            w11.Expand = false;
+            w11.Fill = false;
             this.GtkAlignment.Add(this.vbox5);
             this.frame4.Add(this.GtkAlignment);
-            this.GtkLabel2 = new Gtk.Label();
-            this.GtkLabel2.Name = "GtkLabel2";
-            this.GtkLabel2.LabelProp = Mono.Unix.Catalog.GetString("<b>Color 
sheme</b>");
-            this.GtkLabel2.UseMarkup = true;
-            this.frame4.LabelWidget = this.GtkLabel2;
+            this.GtkLabel3 = new Gtk.Label();
+            this.GtkLabel3.Name = "GtkLabel3";
+            this.GtkLabel3.LabelProp = Mono.Unix.Catalog.GetString("<b>Color 
sheme</b>");
+            this.GtkLabel3.UseMarkup = true;
+            this.frame4.LabelWidget = this.GtkLabel3;
             this.vbox4.Add(this.frame4);
-            Gtk.Box.BoxChild w10 = 
((Gtk.Box.BoxChild)(this.vbox4[this.frame4]));
-            w10.Position = 0;
-            // Container child vbox4.Gtk.Box+BoxChild
-            this.frame5 = new Gtk.Frame();
-            this.frame5.Name = "frame5";
-            this.frame5.ShadowType = ((Gtk.ShadowType)(0));
-            // Container child frame5.Gtk.Container+ContainerChild
-            this.GtkAlignment3 = new Gtk.Alignment(0F, 0F, 1F, 1F);
-            this.GtkAlignment3.Name = "GtkAlignment3";
-            this.GtkAlignment3.LeftPadding = ((uint)(12));
-            // Container child GtkAlignment3.Gtk.Container+ContainerChild
-            this.vbox6 = new Gtk.VBox();
-            this.vbox6.Name = "vbox6";
-            this.vbox6.Spacing = 6;
-            // Container child vbox6.Gtk.Box+BoxChild
-            this.enableHighlightingCheckbutton = new Gtk.CheckButton();
-            this.enableHighlightingCheckbutton.CanFocus = true;
-            this.enableHighlightingCheckbutton.Name = 
"enableHighlightingCheckbutton";
-            this.enableHighlightingCheckbutton.Label = 
Mono.Unix.Catalog.GetString("_Enable highlighting");
-            this.enableHighlightingCheckbutton.DrawIndicator = true;
-            this.enableHighlightingCheckbutton.UseUnderline = true;
-            this.vbox6.Add(this.enableHighlightingCheckbutton);
-            Gtk.Box.BoxChild w11 = 
((Gtk.Box.BoxChild)(this.vbox6[this.enableHighlightingCheckbutton]));
-            w11.Position = 0;
-            w11.Expand = false;
-            w11.Fill = false;
-            // Container child vbox6.Gtk.Box+BoxChild
-            this.GtkScrolledWindow = new Gtk.ScrolledWindow();
-            this.GtkScrolledWindow.Name = "GtkScrolledWindow";
-            this.GtkScrolledWindow.ShadowType = ((Gtk.ShadowType)(1));
-            // Container child GtkScrolledWindow.Gtk.Container+ContainerChild
-            this.treeview2 = new Gtk.TreeView();
-            this.treeview2.CanFocus = true;
-            this.treeview2.Name = "treeview2";
-            this.treeview2.HeadersClickable = true;
-            this.GtkScrolledWindow.Add(this.treeview2);
-            this.vbox6.Add(this.GtkScrolledWindow);
-            Gtk.Box.BoxChild w13 = 
((Gtk.Box.BoxChild)(this.vbox6[this.GtkScrolledWindow]));
-            w13.Position = 1;
-            this.GtkAlignment3.Add(this.vbox6);
-            this.frame5.Add(this.GtkAlignment3);
-            this.GtkLabel4 = new Gtk.Label();
-            this.GtkLabel4.Name = "GtkLabel4";
-            this.GtkLabel4.LabelProp = Mono.Unix.Catalog.GetString("<b>Syntax 
highlighting</b>");
-            this.GtkLabel4.UseMarkup = true;
-            this.frame5.LabelWidget = this.GtkLabel4;
-            this.vbox4.Add(this.frame5);
-            Gtk.Box.BoxChild w16 = 
((Gtk.Box.BoxChild)(this.vbox4[this.frame5]));
-            w16.Position = 1;
+            Gtk.Box.BoxChild w14 = 
((Gtk.Box.BoxChild)(this.vbox4[this.frame4]));
+            w14.Position = 1;
             this.Add(this.vbox4);
             if ((this.Child != null)) {
                 this.Child.ShowAll();

Modified: 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.MarkerPanel.cs
===================================================================
--- 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.MarkerPanel.cs
    2008-02-08 21:35:39 UTC (rev 95303)
+++ 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.MarkerPanel.cs
    2008-02-08 21:40:14 UTC (rev 95304)
@@ -52,7 +52,6 @@
             this.Name = "MonoDevelop.SourceEditor.OptionPanels.MarkerPanel";
             // Container child 
MonoDevelop.SourceEditor.OptionPanels.MarkerPanel.Gtk.Container+ContainerChild
             this.vbox1 = new Gtk.VBox();
-            this.vbox1.Name = "vbox1";
             this.vbox1.Spacing = 6;
             // Container child vbox1.Gtk.Box+BoxChild
             this.showLineNumbersCheckbutton = new Gtk.CheckButton();

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-08 21:35:39 UTC (rev 95303)
+++ 
trunk/monodevelop/main/src/addins/MonoDevelop.SourceEditor2/gtk-gui/gui.stetic  
    2008-02-08 21:40:14 UTC (rev 95304)
@@ -621,13 +621,65 @@
       </widget>
     </child>
   </widget>
-  <widget class="Gtk.Bin" 
id="MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel" design-size="300 
300">
+  <widget class="Gtk.Bin" 
id="MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel" design-size="342 
332">
     <property name="MemberName" />
     <child>
       <widget class="Gtk.VBox" id="vbox4">
         <property name="MemberName" />
         <property name="Spacing">6</property>
         <child>
+          <widget class="Gtk.Frame" id="frame5">
+            <property name="MemberName" />
+            <property name="ShadowType">None</property>
+            <child>
+              <widget class="Gtk.Alignment" id="GtkAlignment3">
+                <property name="MemberName" />
+                <property name="Xalign">0</property>
+                <property name="Yalign">0</property>
+                <property name="LeftPadding">12</property>
+                <child>
+                  <widget class="Gtk.VBox" id="vbox6">
+                    <property name="MemberName" />
+                    <property name="Spacing">6</property>
+                    <child>
+                      <widget class="Gtk.CheckButton" 
id="enableHighlightingCheckbutton">
+                        <property name="MemberName" />
+                        <property name="CanFocus">True</property>
+                        <property name="Label" translatable="yes">_Enable 
highlighting</property>
+                        <property name="DrawIndicator">True</property>
+                        <property name="HasLabel">True</property>
+                        <property name="UseUnderline">True</property>
+                      </widget>
+                      <packing>
+                        <property name="Position">0</property>
+                        <property name="AutoSize">True</property>
+                        <property name="Expand">False</property>
+                        <property name="Fill">False</property>
+                      </packing>
+                    </child>
+                  </widget>
+                </child>
+              </widget>
+            </child>
+            <child>
+              <widget class="Gtk.Label" id="GtkLabel4">
+                <property name="MemberName" />
+                <property name="LabelProp" translatable="yes">&lt;b&gt;Syntax 
highlighting&lt;/b&gt;</property>
+                <property name="UseMarkup">True</property>
+              </widget>
+              <packing>
+                <property name="type">label_item</property>
+              </packing>
+            </child>
+          </widget>
+          <packing>
+            <property name="Position">0</property>
+            <property name="AutoSize">True</property>
+            <property name="Expand">False</property>
+            <property name="Fill">False</property>
+          </packing>
+        </child>
+        <child>
           <widget class="Gtk.Frame" id="frame4">
             <property name="MemberName" />
             <property name="ShadowType">None</property>
@@ -719,7 +771,7 @@
               </widget>
             </child>
             <child>
-              <widget class="Gtk.Label" id="GtkLabel2">
+              <widget class="Gtk.Label" id="GtkLabel3">
                 <property name="MemberName" />
                 <property name="LabelProp" translatable="yes">&lt;b&gt;Color 
sheme&lt;/b&gt;</property>
                 <property name="UseMarkup">True</property>
@@ -730,74 +782,6 @@
             </child>
           </widget>
           <packing>
-            <property name="Position">0</property>
-            <property name="AutoSize">True</property>
-          </packing>
-        </child>
-        <child>
-          <widget class="Gtk.Frame" id="frame5">
-            <property name="MemberName" />
-            <property name="ShadowType">None</property>
-            <child>
-              <widget class="Gtk.Alignment" id="GtkAlignment3">
-                <property name="MemberName" />
-                <property name="Xalign">0</property>
-                <property name="Yalign">0</property>
-                <property name="LeftPadding">12</property>
-                <child>
-                  <widget class="Gtk.VBox" id="vbox6">
-                    <property name="MemberName" />
-                    <property name="Spacing">6</property>
-                    <child>
-                      <widget class="Gtk.CheckButton" 
id="enableHighlightingCheckbutton">
-                        <property name="MemberName" />
-                        <property name="CanFocus">True</property>
-                        <property name="Label" translatable="yes">_Enable 
highlighting</property>
-                        <property name="DrawIndicator">True</property>
-                        <property name="HasLabel">True</property>
-                        <property name="UseUnderline">True</property>
-                      </widget>
-                      <packing>
-                        <property name="Position">0</property>
-                        <property name="AutoSize">True</property>
-                        <property name="Expand">False</property>
-                        <property name="Fill">False</property>
-                      </packing>
-                    </child>
-                    <child>
-                      <widget class="Gtk.ScrolledWindow" 
id="GtkScrolledWindow">
-                        <property name="MemberName" />
-                        <property name="ShadowType">In</property>
-                        <child>
-                          <widget class="Gtk.TreeView" id="treeview2">
-                            <property name="MemberName" />
-                            <property name="CanFocus">True</property>
-                            <property name="ShowScrollbars">True</property>
-                            <property name="HeadersClickable">True</property>
-                          </widget>
-                        </child>
-                      </widget>
-                      <packing>
-                        <property name="Position">1</property>
-                        <property name="AutoSize">True</property>
-                      </packing>
-                    </child>
-                  </widget>
-                </child>
-              </widget>
-            </child>
-            <child>
-              <widget class="Gtk.Label" id="GtkLabel4">
-                <property name="MemberName" />
-                <property name="LabelProp" translatable="yes">&lt;b&gt;Syntax 
highlighting&lt;/b&gt;</property>
-                <property name="UseMarkup">True</property>
-              </widget>
-              <packing>
-                <property name="type">label_item</property>
-              </packing>
-            </child>
-          </widget>
-          <packing>
             <property name="Position">1</property>
             <property name="AutoSize">True</property>
           </packing>

_______________________________________________
Mono-patches maillist  -  [email protected]
http://lists.ximian.com/mailman/listinfo/mono-patches

Reply via email to