1
// ------------------------------------------------------------------------------
3
// This code was generated by a tool.
6
// Changes to this file may cause incorrect behavior and will be lost if
7
// the code is regenerated.
9
// ------------------------------------------------------------------------------
11
namespace MonoDevelop.Ide.Gui.OptionPanels {
14
public partial class IDEStyleOptionsPanelWidget {
16
private Gtk.VBox vbox13;
18
private Gtk.HBox hbox1;
20
private Gtk.Label label1;
22
private Gtk.ComboBox toolbarCombobox;
24
private Gtk.CheckButton documentSwitcherButton;
26
private Gtk.Frame frame1;
28
private Gtk.Alignment GtkAlignment;
30
private Gtk.VBox vbox1;
32
private Gtk.CheckButton extensionButton;
34
private Gtk.CheckButton hiddenButton;
36
private Gtk.Label GtkLabel7;
38
private Gtk.Frame frame2;
40
private Gtk.Alignment GtkAlignment1;
42
private Gtk.HBox hbox2;
44
private Gtk.CheckButton fontCheckbox;
46
private Gtk.FontButton fontButton;
48
private Gtk.Label GtkLabel6;
50
protected virtual void Build() {
51
Stetic.Gui.Initialize(this);
52
// Widget MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget
53
Stetic.BinContainer.Attach(this);
54
this.Name = "MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget";
55
// Container child MonoDevelop.Ide.Gui.OptionPanels.IDEStyleOptionsPanelWidget.Gtk.Container+ContainerChild
56
this.vbox13 = new Gtk.VBox();
57
this.vbox13.Name = "vbox13";
58
this.vbox13.Spacing = 6;
59
// Container child vbox13.Gtk.Box+BoxChild
60
this.hbox1 = new Gtk.HBox();
61
this.hbox1.Name = "hbox1";
62
this.hbox1.Spacing = 6;
63
// Container child hbox1.Gtk.Box+BoxChild
64
this.label1 = new Gtk.Label();
65
this.label1.Name = "label1";
66
this.label1.LabelProp = Mono.Unix.Catalog.GetString("_Toolbar icon size:");
67
this.label1.UseUnderline = true;
68
this.hbox1.Add(this.label1);
69
Gtk.Box.BoxChild w1 = ((Gtk.Box.BoxChild)(this.hbox1[this.label1]));
73
// Container child hbox1.Gtk.Box+BoxChild
74
this.toolbarCombobox = Gtk.ComboBox.NewText();
75
this.toolbarCombobox.AppendText(Mono.Unix.Catalog.GetString("Smallest"));
76
this.toolbarCombobox.AppendText(Mono.Unix.Catalog.GetString("Small"));
77
this.toolbarCombobox.AppendText(Mono.Unix.Catalog.GetString("Large"));
78
this.toolbarCombobox.Name = "toolbarCombobox";
79
this.toolbarCombobox.Active = 1;
80
this.hbox1.Add(this.toolbarCombobox);
81
Gtk.Box.BoxChild w2 = ((Gtk.Box.BoxChild)(this.hbox1[this.toolbarCombobox]));
85
this.vbox13.Add(this.hbox1);
86
Gtk.Box.BoxChild w3 = ((Gtk.Box.BoxChild)(this.vbox13[this.hbox1]));
90
// Container child vbox13.Gtk.Box+BoxChild
91
this.documentSwitcherButton = new Gtk.CheckButton();
92
this.documentSwitcherButton.CanFocus = true;
93
this.documentSwitcherButton.Name = "documentSwitcherButton";
94
this.documentSwitcherButton.Label = Mono.Unix.Catalog.GetString("_Enable document switch dialog");
95
this.documentSwitcherButton.DrawIndicator = true;
96
this.documentSwitcherButton.UseUnderline = true;
97
this.vbox13.Add(this.documentSwitcherButton);
98
Gtk.Box.BoxChild w4 = ((Gtk.Box.BoxChild)(this.vbox13[this.documentSwitcherButton]));
102
// Container child vbox13.Gtk.Box+BoxChild
103
this.frame1 = new Gtk.Frame();
104
this.frame1.Name = "frame1";
105
this.frame1.ShadowType = ((Gtk.ShadowType)(0));
106
// Container child frame1.Gtk.Container+ContainerChild
107
this.GtkAlignment = new Gtk.Alignment(0F, 0F, 1F, 1F);
108
this.GtkAlignment.Name = "GtkAlignment";
109
this.GtkAlignment.LeftPadding = ((uint)(12));
110
// Container child GtkAlignment.Gtk.Container+ContainerChild
111
this.vbox1 = new Gtk.VBox();
112
this.vbox1.Name = "vbox1";
113
this.vbox1.Spacing = 6;
114
// Container child vbox1.Gtk.Box+BoxChild
115
this.extensionButton = new Gtk.CheckButton();
116
this.extensionButton.Name = "extensionButton";
117
this.extensionButton.Label = Mono.Unix.Catalog.GetString("_Show extensions");
118
this.extensionButton.DrawIndicator = true;
119
this.extensionButton.UseUnderline = true;
120
this.vbox1.Add(this.extensionButton);
121
Gtk.Box.BoxChild w5 = ((Gtk.Box.BoxChild)(this.vbox1[this.extensionButton]));
125
// Container child vbox1.Gtk.Box+BoxChild
126
this.hiddenButton = new Gtk.CheckButton();
127
this.hiddenButton.Name = "hiddenButton";
128
this.hiddenButton.Label = Mono.Unix.Catalog.GetString("S_how hidden files and directories");
129
this.hiddenButton.DrawIndicator = true;
130
this.hiddenButton.UseUnderline = true;
131
this.vbox1.Add(this.hiddenButton);
132
Gtk.Box.BoxChild w6 = ((Gtk.Box.BoxChild)(this.vbox1[this.hiddenButton]));
136
this.GtkAlignment.Add(this.vbox1);
137
this.frame1.Add(this.GtkAlignment);
138
this.GtkLabel7 = new Gtk.Label();
139
this.GtkLabel7.Name = "GtkLabel7";
140
this.GtkLabel7.LabelProp = Mono.Unix.Catalog.GetString("<b>Project Browser</b>");
141
this.GtkLabel7.UseMarkup = true;
142
this.frame1.LabelWidget = this.GtkLabel7;
143
this.vbox13.Add(this.frame1);
144
Gtk.Box.BoxChild w9 = ((Gtk.Box.BoxChild)(this.vbox13[this.frame1]));
148
// Container child vbox13.Gtk.Box+BoxChild
149
this.frame2 = new Gtk.Frame();
150
this.frame2.Name = "frame2";
151
this.frame2.ShadowType = ((Gtk.ShadowType)(0));
152
// Container child frame2.Gtk.Container+ContainerChild
153
this.GtkAlignment1 = new Gtk.Alignment(0F, 0F, 1F, 1F);
154
this.GtkAlignment1.Name = "GtkAlignment1";
155
this.GtkAlignment1.LeftPadding = ((uint)(12));
156
// Container child GtkAlignment1.Gtk.Container+ContainerChild
157
this.hbox2 = new Gtk.HBox();
158
this.hbox2.Name = "hbox2";
159
this.hbox2.Spacing = 6;
160
// Container child hbox2.Gtk.Box+BoxChild
161
this.fontCheckbox = new Gtk.CheckButton();
162
this.fontCheckbox.Name = "fontCheckbox";
163
this.fontCheckbox.Label = Mono.Unix.Catalog.GetString("_Use a different font for pads:");
164
this.fontCheckbox.Active = true;
165
this.fontCheckbox.DrawIndicator = true;
166
this.fontCheckbox.UseUnderline = true;
167
this.hbox2.Add(this.fontCheckbox);
168
Gtk.Box.BoxChild w10 = ((Gtk.Box.BoxChild)(this.hbox2[this.fontCheckbox]));
171
// Container child hbox2.Gtk.Box+BoxChild
172
this.fontButton = new Gtk.FontButton();
173
this.fontButton.Name = "fontButton";
174
this.hbox2.Add(this.fontButton);
175
Gtk.Box.BoxChild w11 = ((Gtk.Box.BoxChild)(this.hbox2[this.fontButton]));
179
this.GtkAlignment1.Add(this.hbox2);
180
this.frame2.Add(this.GtkAlignment1);
181
this.GtkLabel6 = new Gtk.Label();
182
this.GtkLabel6.Name = "GtkLabel6";
183
this.GtkLabel6.LabelProp = Mono.Unix.Catalog.GetString("<b>Pad options</b>");
184
this.GtkLabel6.UseMarkup = true;
185
this.frame2.LabelWidget = this.GtkLabel6;
186
this.vbox13.Add(this.frame2);
187
Gtk.Box.BoxChild w14 = ((Gtk.Box.BoxChild)(this.vbox13[this.frame2]));
191
this.Add(this.vbox13);
192
if ((this.Child != null)) {
193
this.Child.ShowAll();
195
this.label1.MnemonicWidget = this.toolbarCombobox;