← Back to branch summary

~ubuntu-branches/ubuntu/trusty/monodevelop/trusty-proposed

« back to all changes in this revision

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

  • Committer: Package Import Robot
  • Author(s): Jo Shields
  • Date: 2013-05-12 09:46:03 UTC
  • mto: This revision was merged to the branch mainline in revision 29.
  • Revision ID: package-import@ubuntu.com-20130512094603-mad323bzcxvmcam0
Tags: upstream-4.0.5+dfsg
Import upstream version 4.0.5+dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/addins/MonoDevelop.SourceEditor2/gtk-gui/MonoDevelop.SourceEditor.OptionPanels.MarkerPanel.cs
15
15
                private global::Gtk.CheckButton showRulerCheckbutton;
16
16
                private global::Gtk.CheckButton enableAnimationCheckbutton1;
17
17
                private global::Gtk.CheckButton enableHighlightUsagesCheckbutton;
18
 
                private global::Gtk.Label GtkLabel10;
19
 
                private global::Gtk.Alignment GtkAlignment;
20
 
                private global::Gtk.VBox vbox2;
21
 
                private global::Gtk.CheckButton showInvLinesCheckbutton;
22
 
                private global::Gtk.CheckButton showSpacesCheckbutton;
23
 
                private global::Gtk.CheckButton showTabsCheckbutton;
24
 
                private global::Gtk.CheckButton showEolCheckbutton;
 
18
                private global::Gtk.CheckButton drawIndentMarkersCheckbutton;
 
19
                private global::Gtk.CheckButton enableQuickDiffCheckbutton;
 
20
                private global::Gtk.Table table1;
 
21
                private global::Gtk.CheckButton checkbuttonLineEndings;
 
22
                private global::Gtk.CheckButton checkbuttonSpaces;
 
23
                private global::Gtk.CheckButton checkbuttonTabs;
 
24
                private global::Gtk.Label label1;
 
25
                private global::Gtk.ComboBox showWhitespacesCombobox;
25
26
                
26
27
                protected virtual void Build ()
27
28
                {
80
81
                        this.highlightMatchingBracketCheckbutton = new global::Gtk.CheckButton ();
81
82
                        this.highlightMatchingBracketCheckbutton.CanFocus = true;
82
83
                        this.highlightMatchingBracketCheckbutton.Name = "highlightMatchingBracketCheckbutton";
83
 
                        this.highlightMatchingBracketCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("_Highlight matching bracket");
 
84
                        this.highlightMatchingBracketCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("_Highlight matching braces");
84
85
                        this.highlightMatchingBracketCheckbutton.DrawIndicator = true;
85
86
                        this.highlightMatchingBracketCheckbutton.UseUnderline = true;
86
87
                        this.vbox3.Add (this.highlightMatchingBracketCheckbutton);
116
117
                        this.enableAnimationCheckbutton1 = new global::Gtk.CheckButton ();
117
118
                        this.enableAnimationCheckbutton1.CanFocus = true;
118
119
                        this.enableAnimationCheckbutton1.Name = "enableAnimationCheckbutton1";
119
 
                        this.enableAnimationCheckbutton1.Label = global::Mono.Unix.Catalog.GetString ("_Animations enabled");
 
120
                        this.enableAnimationCheckbutton1.Label = global::Mono.Unix.Catalog.GetString ("_Enable animations");
120
121
                        this.enableAnimationCheckbutton1.DrawIndicator = true;
121
122
                        this.enableAnimationCheckbutton1.UseUnderline = true;
122
123
                        this.vbox3.Add (this.enableAnimationCheckbutton1);
128
129
                        this.enableHighlightUsagesCheckbutton = new global::Gtk.CheckButton ();
129
130
                        this.enableHighlightUsagesCheckbutton.CanFocus = true;
130
131
                        this.enableHighlightUsagesCheckbutton.Name = "enableHighlightUsagesCheckbutton";
131
 
                        this.enableHighlightUsagesCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("_Enable highlighting of usages");
 
132
                        this.enableHighlightUsagesCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("Highlight _identifier references");
132
133
                        this.enableHighlightUsagesCheckbutton.DrawIndicator = true;
133
134
                        this.enableHighlightUsagesCheckbutton.UseUnderline = true;
134
135
                        this.vbox3.Add (this.enableHighlightUsagesCheckbutton);
136
137
                        w8.Position = 6;
137
138
                        w8.Expand = false;
138
139
                        w8.Fill = false;
 
140
                        // Container child vbox3.Gtk.Box+BoxChild
 
141
                        this.drawIndentMarkersCheckbutton = new global::Gtk.CheckButton ();
 
142
                        this.drawIndentMarkersCheckbutton.CanFocus = true;
 
143
                        this.drawIndentMarkersCheckbutton.Name = "drawIndentMarkersCheckbutton";
 
144
                        this.drawIndentMarkersCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("_Show indentation guides");
 
145
                        this.drawIndentMarkersCheckbutton.DrawIndicator = true;
 
146
                        this.drawIndentMarkersCheckbutton.UseUnderline = true;
 
147
                        this.vbox3.Add (this.drawIndentMarkersCheckbutton);
 
148
                        global::Gtk.Box.BoxChild w9 = ((global::Gtk.Box.BoxChild)(this.vbox3 [this.drawIndentMarkersCheckbutton]));
 
149
                        w9.Position = 7;
 
150
                        w9.Expand = false;
 
151
                        w9.Fill = false;
 
152
                        // Container child vbox3.Gtk.Box+BoxChild
 
153
                        this.enableQuickDiffCheckbutton = new global::Gtk.CheckButton ();
 
154
                        this.enableQuickDiffCheckbutton.CanFocus = true;
 
155
                        this.enableQuickDiffCheckbutton.Name = "enableQuickDiffCheckbutton";
 
156
                        this.enableQuickDiffCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("_Visualize changed lines");
 
157
                        this.enableQuickDiffCheckbutton.DrawIndicator = true;
 
158
                        this.enableQuickDiffCheckbutton.UseUnderline = true;
 
159
                        this.vbox3.Add (this.enableQuickDiffCheckbutton);
 
160
                        global::Gtk.Box.BoxChild w10 = ((global::Gtk.Box.BoxChild)(this.vbox3 [this.enableQuickDiffCheckbutton]));
 
161
                        w10.Position = 8;
 
162
                        w10.Expand = false;
 
163
                        w10.Fill = false;
 
164
                        // Container child vbox3.Gtk.Box+BoxChild
 
165
                        this.table1 = new global::Gtk.Table (((uint)(4)), ((uint)(4)), false);
 
166
                        this.table1.Name = "table1";
 
167
                        this.table1.RowSpacing = ((uint)(6));
 
168
                        this.table1.ColumnSpacing = ((uint)(6));
 
169
                        // Container child table1.Gtk.Table+TableChild
 
170
                        this.checkbuttonLineEndings = new global::Gtk.CheckButton ();
 
171
                        this.checkbuttonLineEndings.CanFocus = true;
 
172
                        this.checkbuttonLineEndings.Name = "checkbuttonLineEndings";
 
173
                        this.checkbuttonLineEndings.Label = global::Mono.Unix.Catalog.GetString ("Include Line Endings");
 
174
                        this.checkbuttonLineEndings.DrawIndicator = true;
 
175
                        this.checkbuttonLineEndings.UseUnderline = true;
 
176
                        this.table1.Add (this.checkbuttonLineEndings);
 
177
                        global::Gtk.Table.TableChild w11 = ((global::Gtk.Table.TableChild)(this.table1 [this.checkbuttonLineEndings]));
 
178
                        w11.TopAttach = ((uint)(3));
 
179
                        w11.BottomAttach = ((uint)(4));
 
180
                        w11.LeftAttach = ((uint)(1));
 
181
                        w11.RightAttach = ((uint)(4));
 
182
                        w11.XOptions = ((global::Gtk.AttachOptions)(4));
 
183
                        w11.YOptions = ((global::Gtk.AttachOptions)(4));
 
184
                        // Container child table1.Gtk.Table+TableChild
 
185
                        this.checkbuttonSpaces = new global::Gtk.CheckButton ();
 
186
                        this.checkbuttonSpaces.CanFocus = true;
 
187
                        this.checkbuttonSpaces.Name = "checkbuttonSpaces";
 
188
                        this.checkbuttonSpaces.Label = global::Mono.Unix.Catalog.GetString ("Include _Spaces");
 
189
                        this.checkbuttonSpaces.DrawIndicator = true;
 
190
                        this.checkbuttonSpaces.UseUnderline = true;
 
191
                        this.table1.Add (this.checkbuttonSpaces);
 
192
                        global::Gtk.Table.TableChild w12 = ((global::Gtk.Table.TableChild)(this.table1 [this.checkbuttonSpaces]));
 
193
                        w12.TopAttach = ((uint)(1));
 
194
                        w12.BottomAttach = ((uint)(2));
 
195
                        w12.LeftAttach = ((uint)(1));
 
196
                        w12.RightAttach = ((uint)(4));
 
197
                        w12.XOptions = ((global::Gtk.AttachOptions)(4));
 
198
                        w12.YOptions = ((global::Gtk.AttachOptions)(4));
 
199
                        // Container child table1.Gtk.Table+TableChild
 
200
                        this.checkbuttonTabs = new global::Gtk.CheckButton ();
 
201
                        this.checkbuttonTabs.CanFocus = true;
 
202
                        this.checkbuttonTabs.Name = "checkbuttonTabs";
 
203
                        this.checkbuttonTabs.Label = global::Mono.Unix.Catalog.GetString ("Include Tabs");
 
204
                        this.checkbuttonTabs.DrawIndicator = true;
 
205
                        this.checkbuttonTabs.UseUnderline = true;
 
206
                        this.table1.Add (this.checkbuttonTabs);
 
207
                        global::Gtk.Table.TableChild w13 = ((global::Gtk.Table.TableChild)(this.table1 [this.checkbuttonTabs]));
 
208
                        w13.TopAttach = ((uint)(2));
 
209
                        w13.BottomAttach = ((uint)(3));
 
210
                        w13.LeftAttach = ((uint)(1));
 
211
                        w13.RightAttach = ((uint)(4));
 
212
                        w13.XOptions = ((global::Gtk.AttachOptions)(4));
 
213
                        w13.YOptions = ((global::Gtk.AttachOptions)(4));
 
214
                        // Container child table1.Gtk.Table+TableChild
 
215
                        this.label1 = new global::Gtk.Label ();
 
216
                        this.label1.Name = "label1";
 
217
                        this.label1.LabelProp = global::Mono.Unix.Catalog.GetString ("_Show invisible characters:");
 
218
                        this.label1.UseUnderline = true;
 
219
                        this.table1.Add (this.label1);
 
220
                        global::Gtk.Table.TableChild w14 = ((global::Gtk.Table.TableChild)(this.table1 [this.label1]));
 
221
                        w14.XOptions = ((global::Gtk.AttachOptions)(4));
 
222
                        w14.YOptions = ((global::Gtk.AttachOptions)(4));
 
223
                        // Container child table1.Gtk.Table+TableChild
 
224
                        this.showWhitespacesCombobox = global::Gtk.ComboBox.NewText ();
 
225
                        this.showWhitespacesCombobox.Name = "showWhitespacesCombobox";
 
226
                        this.table1.Add (this.showWhitespacesCombobox);
 
227
                        global::Gtk.Table.TableChild w15 = ((global::Gtk.Table.TableChild)(this.table1 [this.showWhitespacesCombobox]));
 
228
                        w15.LeftAttach = ((uint)(1));
 
229
                        w15.RightAttach = ((uint)(4));
 
230
                        w15.XOptions = ((global::Gtk.AttachOptions)(4));
 
231
                        w15.YOptions = ((global::Gtk.AttachOptions)(4));
 
232
                        this.vbox3.Add (this.table1);
 
233
                        global::Gtk.Box.BoxChild w16 = ((global::Gtk.Box.BoxChild)(this.vbox3 [this.table1]));
 
234
                        w16.Position = 9;
 
235
                        w16.Fill = false;
139
236
                        this.alignment1.Add (this.vbox3);
140
237
                        this.vbox1.Add (this.alignment1);
141
 
                        global::Gtk.Box.BoxChild w10 = ((global::Gtk.Box.BoxChild)(this.vbox1 [this.alignment1]));
142
 
                        w10.Position = 1;
143
 
                        w10.Expand = false;
144
 
                        w10.Fill = false;
145
 
                        // Container child vbox1.Gtk.Box+BoxChild
146
 
                        this.GtkLabel10 = new global::Gtk.Label ();
147
 
                        this.GtkLabel10.Name = "GtkLabel10";
148
 
                        this.GtkLabel10.Xalign = 0F;
149
 
                        this.GtkLabel10.LabelProp = global::Mono.Unix.Catalog.GetString ("<b>Whitespace Markers</b>");
150
 
                        this.GtkLabel10.UseMarkup = true;
151
 
                        this.vbox1.Add (this.GtkLabel10);
152
 
                        global::Gtk.Box.BoxChild w11 = ((global::Gtk.Box.BoxChild)(this.vbox1 [this.GtkLabel10]));
153
 
                        w11.Position = 2;
154
 
                        w11.Expand = false;
155
 
                        w11.Fill = false;
156
 
                        // Container child vbox1.Gtk.Box+BoxChild
157
 
                        this.GtkAlignment = new global::Gtk.Alignment (0F, 0F, 1F, 1F);
158
 
                        this.GtkAlignment.Name = "GtkAlignment";
159
 
                        this.GtkAlignment.LeftPadding = ((uint)(12));
160
 
                        // Container child GtkAlignment.Gtk.Container+ContainerChild
161
 
                        this.vbox2 = new global::Gtk.VBox ();
162
 
                        this.vbox2.Name = "vbox2";
163
 
                        this.vbox2.Spacing = 6;
164
 
                        // Container child vbox2.Gtk.Box+BoxChild
165
 
                        this.showInvLinesCheckbutton = new global::Gtk.CheckButton ();
166
 
                        this.showInvLinesCheckbutton.CanFocus = true;
167
 
                        this.showInvLinesCheckbutton.Name = "showInvLinesCheckbutton";
168
 
                        this.showInvLinesCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("_Invalid lines");
169
 
                        this.showInvLinesCheckbutton.DrawIndicator = true;
170
 
                        this.showInvLinesCheckbutton.UseUnderline = true;
171
 
                        this.vbox2.Add (this.showInvLinesCheckbutton);
172
 
                        global::Gtk.Box.BoxChild w12 = ((global::Gtk.Box.BoxChild)(this.vbox2 [this.showInvLinesCheckbutton]));
173
 
                        w12.Position = 0;
174
 
                        w12.Expand = false;
175
 
                        w12.Fill = false;
176
 
                        // Container child vbox2.Gtk.Box+BoxChild
177
 
                        this.showSpacesCheckbutton = new global::Gtk.CheckButton ();
178
 
                        this.showSpacesCheckbutton.CanFocus = true;
179
 
                        this.showSpacesCheckbutton.Name = "showSpacesCheckbutton";
180
 
                        this.showSpacesCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("S_paces");
181
 
                        this.showSpacesCheckbutton.DrawIndicator = true;
182
 
                        this.showSpacesCheckbutton.UseUnderline = true;
183
 
                        this.vbox2.Add (this.showSpacesCheckbutton);
184
 
                        global::Gtk.Box.BoxChild w13 = ((global::Gtk.Box.BoxChild)(this.vbox2 [this.showSpacesCheckbutton]));
185
 
                        w13.Position = 1;
186
 
                        w13.Expand = false;
187
 
                        w13.Fill = false;
188
 
                        // Container child vbox2.Gtk.Box+BoxChild
189
 
                        this.showTabsCheckbutton = new global::Gtk.CheckButton ();
190
 
                        this.showTabsCheckbutton.CanFocus = true;
191
 
                        this.showTabsCheckbutton.Name = "showTabsCheckbutton";
192
 
                        this.showTabsCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("_Tabs");
193
 
                        this.showTabsCheckbutton.DrawIndicator = true;
194
 
                        this.showTabsCheckbutton.UseUnderline = true;
195
 
                        this.vbox2.Add (this.showTabsCheckbutton);
196
 
                        global::Gtk.Box.BoxChild w14 = ((global::Gtk.Box.BoxChild)(this.vbox2 [this.showTabsCheckbutton]));
197
 
                        w14.Position = 2;
198
 
                        w14.Expand = false;
199
 
                        w14.Fill = false;
200
 
                        // Container child vbox2.Gtk.Box+BoxChild
201
 
                        this.showEolCheckbutton = new global::Gtk.CheckButton ();
202
 
                        this.showEolCheckbutton.CanFocus = true;
203
 
                        this.showEolCheckbutton.Name = "showEolCheckbutton";
204
 
                        this.showEolCheckbutton.Label = global::Mono.Unix.Catalog.GetString ("_End of line");
205
 
                        this.showEolCheckbutton.DrawIndicator = true;
206
 
                        this.showEolCheckbutton.UseUnderline = true;
207
 
                        this.vbox2.Add (this.showEolCheckbutton);
208
 
                        global::Gtk.Box.BoxChild w15 = ((global::Gtk.Box.BoxChild)(this.vbox2 [this.showEolCheckbutton]));
209
 
                        w15.Position = 3;
210
 
                        w15.Expand = false;
211
 
                        w15.Fill = false;
212
 
                        this.GtkAlignment.Add (this.vbox2);
213
 
                        this.vbox1.Add (this.GtkAlignment);
214
 
                        global::Gtk.Box.BoxChild w17 = ((global::Gtk.Box.BoxChild)(this.vbox1 [this.GtkAlignment]));
215
 
                        w17.Position = 3;
216
 
                        w17.Expand = false;
217
 
                        w17.Fill = false;
 
238
                        global::Gtk.Box.BoxChild w18 = ((global::Gtk.Box.BoxChild)(this.vbox1 [this.alignment1]));
 
239
                        w18.Position = 1;
 
240
                        w18.Expand = false;
 
241
                        w18.Fill = false;
218
242
                        this.Add (this.vbox1);
219
243
                        if ((this.Child != null)) {
220
244
                                this.Child.ShowAll ();