← Back to branch summary

~ubuntu-branches/ubuntu/oneiric/monodevelop/oneiric

« back to all changes in this revision

Viewing changes to src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel.cs

  • Committer: Bazaar Package Importer
  • Author(s): Jo Shields
  • Date: 2011-06-27 17:03:13 UTC
  • mto: (1.8.1 upstream)
  • mto: This revision was merged to the branch mainline in revision 54.
  • Revision ID: james.westby@ubuntu.com-20110627170313-6cvz3s19x6e9hqe9
Import upstream version 2.5.92+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.HighlightingPanel.cs
5
5
        public partial class HighlightingPanel
6
6
        {
7
7
                private global::Gtk.VBox vbox4;
8
 
 
9
8
                private global::Gtk.Label GtkLabel4;
10
 
 
11
9
                private global::Gtk.Alignment GtkAlignment3;
12
 
 
13
10
                private global::Gtk.VBox vbox6;
14
 
 
15
11
                private global::Gtk.CheckButton enableHighlightingCheckbutton;
16
 
 
17
12
                private global::Gtk.CheckButton enableSemanticHighlightingCheckbutton;
18
 
 
19
13
                private global::Gtk.Label GtkLabel5;
20
 
 
21
14
                private global::Gtk.Alignment GtkAlignment;
22
 
 
23
15
                private global::Gtk.VBox vbox5;
24
 
 
25
16
                private global::Gtk.ScrolledWindow scrolledwindow1;
26
 
 
27
17
                private global::Gtk.TreeView styleTreeview;
28
 
 
29
18
                private global::Gtk.HBox hbox2;
30
 
 
31
19
                private global::Gtk.Button addButton;
32
 
 
33
20
                private global::Gtk.Button removeButton;
34
21
 
35
22
                protected virtual void Build ()
45
32
                        // Container child vbox4.Gtk.Box+BoxChild
46
33
                        this.GtkLabel4 = new global::Gtk.Label ();
47
34
                        this.GtkLabel4.Name = "GtkLabel4";
48
 
                        this.GtkLabel4.Xalign = 0f;
 
35
                        this.GtkLabel4.Xalign = 0F;
49
36
                        this.GtkLabel4.LabelProp = global::Mono.Unix.Catalog.GetString ("<b>Syntax highlighting</b>");
50
37
                        this.GtkLabel4.UseMarkup = true;
51
38
                        this.vbox4.Add (this.GtkLabel4);
52
 
                        global::Gtk.Box.BoxChild w1 = ((global::Gtk.Box.BoxChild)(this.vbox4[this.GtkLabel4]));
 
39
                        global::Gtk.Box.BoxChild w1 = ((global::Gtk.Box.BoxChild)(this.vbox4 [this.GtkLabel4]));
53
40
                        w1.Position = 0;
54
41
                        w1.Expand = false;
55
42
                        w1.Fill = false;
56
43
                        // Container child vbox4.Gtk.Box+BoxChild
57
 
                        this.GtkAlignment3 = new global::Gtk.Alignment (0f, 0f, 1f, 1f);
 
44
                        this.GtkAlignment3 = new global::Gtk.Alignment (0F, 0F, 1F, 1F);
58
45
                        this.GtkAlignment3.Name = "GtkAlignment3";
59
46
                        this.GtkAlignment3.LeftPadding = ((uint)(12));
60
47
                        // Container child GtkAlignment3.Gtk.Container+ContainerChild
69
56
                        this.enableHighlightingCheckbutton.DrawIndicator = true;
70
57
                        this.enableHighlightingCheckbutton.UseUnderline = true;
71
58
                        this.vbox6.Add (this.enableHighlightingCheckbutton);
72
 
                        global::Gtk.Box.BoxChild w2 = ((global::Gtk.Box.BoxChild)(this.vbox6[this.enableHighlightingCheckbutton]));
 
59
                        global::Gtk.Box.BoxChild w2 = ((global::Gtk.Box.BoxChild)(this.vbox6 [this.enableHighlightingCheckbutton]));
73
60
                        w2.Position = 0;
74
61
                        w2.Expand = false;
75
62
                        w2.Fill = false;
81
68
                        this.enableSemanticHighlightingCheckbutton.DrawIndicator = true;
82
69
                        this.enableSemanticHighlightingCheckbutton.UseUnderline = true;
83
70
                        this.vbox6.Add (this.enableSemanticHighlightingCheckbutton);
84
 
                        global::Gtk.Box.BoxChild w3 = ((global::Gtk.Box.BoxChild)(this.vbox6[this.enableSemanticHighlightingCheckbutton]));
 
71
                        global::Gtk.Box.BoxChild w3 = ((global::Gtk.Box.BoxChild)(this.vbox6 [this.enableSemanticHighlightingCheckbutton]));
85
72
                        w3.Position = 1;
86
73
                        w3.Expand = false;
87
74
                        w3.Fill = false;
88
75
                        this.GtkAlignment3.Add (this.vbox6);
89
76
                        this.vbox4.Add (this.GtkAlignment3);
90
 
                        global::Gtk.Box.BoxChild w5 = ((global::Gtk.Box.BoxChild)(this.vbox4[this.GtkAlignment3]));
 
77
                        global::Gtk.Box.BoxChild w5 = ((global::Gtk.Box.BoxChild)(this.vbox4 [this.GtkAlignment3]));
91
78
                        w5.Position = 1;
92
79
                        w5.Expand = false;
93
80
                        w5.Fill = false;
94
81
                        // Container child vbox4.Gtk.Box+BoxChild
95
82
                        this.GtkLabel5 = new global::Gtk.Label ();
96
83
                        this.GtkLabel5.Name = "GtkLabel5";
97
 
                        this.GtkLabel5.Xalign = 0f;
 
84
                        this.GtkLabel5.Xalign = 0F;
98
85
                        this.GtkLabel5.LabelProp = global::Mono.Unix.Catalog.GetString ("<b>Color scheme</b>");
99
86
                        this.GtkLabel5.UseMarkup = true;
100
87
                        this.vbox4.Add (this.GtkLabel5);
101
 
                        global::Gtk.Box.BoxChild w6 = ((global::Gtk.Box.BoxChild)(this.vbox4[this.GtkLabel5]));
 
88
                        global::Gtk.Box.BoxChild w6 = ((global::Gtk.Box.BoxChild)(this.vbox4 [this.GtkLabel5]));
102
89
                        w6.Position = 2;
103
90
                        w6.Expand = false;
104
91
                        w6.Fill = false;
105
92
                        // Container child vbox4.Gtk.Box+BoxChild
106
 
                        this.GtkAlignment = new global::Gtk.Alignment (0f, 0f, 1f, 1f);
 
93
                        this.GtkAlignment = new global::Gtk.Alignment (0F, 0F, 1F, 1F);
107
94
                        this.GtkAlignment.Name = "GtkAlignment";
108
95
                        this.GtkAlignment.LeftPadding = ((uint)(12));
109
96
                        // Container child GtkAlignment.Gtk.Container+ContainerChild
126
113
                        w7.Add (this.styleTreeview);
127
114
                        this.scrolledwindow1.Add (w7);
128
115
                        this.vbox5.Add (this.scrolledwindow1);
129
 
                        global::Gtk.Box.BoxChild w10 = ((global::Gtk.Box.BoxChild)(this.vbox5[this.scrolledwindow1]));
 
116
                        global::Gtk.Box.BoxChild w10 = ((global::Gtk.Box.BoxChild)(this.vbox5 [this.scrolledwindow1]));
130
117
                        w10.Position = 0;
131
118
                        // Container child vbox5.Gtk.Box+BoxChild
132
119
                        this.hbox2 = new global::Gtk.HBox ();
140
127
                        this.addButton.UseUnderline = true;
141
128
                        this.addButton.Label = "gtk-add";
142
129
                        this.hbox2.Add (this.addButton);
143
 
                        global::Gtk.Box.BoxChild w11 = ((global::Gtk.Box.BoxChild)(this.hbox2[this.addButton]));
 
130
                        global::Gtk.Box.BoxChild w11 = ((global::Gtk.Box.BoxChild)(this.hbox2 [this.addButton]));
144
131
                        w11.Position = 1;
145
132
                        w11.Expand = false;
146
133
                        w11.Fill = false;
152
139
                        this.removeButton.UseUnderline = true;
153
140
                        this.removeButton.Label = "gtk-remove";
154
141
                        this.hbox2.Add (this.removeButton);
155
 
                        global::Gtk.Box.BoxChild w12 = ((global::Gtk.Box.BoxChild)(this.hbox2[this.removeButton]));
 
142
                        global::Gtk.Box.BoxChild w12 = ((global::Gtk.Box.BoxChild)(this.hbox2 [this.removeButton]));
156
143
                        w12.Position = 2;
157
144
                        w12.Expand = false;
158
145
                        w12.Fill = false;
159
146
                        this.vbox5.Add (this.hbox2);
160
 
                        global::Gtk.Box.BoxChild w13 = ((global::Gtk.Box.BoxChild)(this.vbox5[this.hbox2]));
 
147
                        global::Gtk.Box.BoxChild w13 = ((global::Gtk.Box.BoxChild)(this.vbox5 [this.hbox2]));
161
148
                        w13.Position = 1;
162
149
                        w13.Expand = false;
163
150
                        w13.Fill = false;
164
151
                        this.GtkAlignment.Add (this.vbox5);
165
152
                        this.vbox4.Add (this.GtkAlignment);
166
 
                        global::Gtk.Box.BoxChild w15 = ((global::Gtk.Box.BoxChild)(this.vbox4[this.GtkAlignment]));
 
153
                        global::Gtk.Box.BoxChild w15 = ((global::Gtk.Box.BoxChild)(this.vbox4 [this.GtkAlignment]));
167
154
                        w15.Position = 3;
168
155
                        this.Add (this.vbox4);
169
156
                        if ((this.Child != null)) {