69
63
this.vbox2.Name = "vbox2";
70
64
this.vbox2.Spacing = 6;
71
65
// Container child vbox2.Gtk.Box+BoxChild
66
this.alignment1 = new Gtk.Alignment(0.5F, 0.5F, 1F, 1F);
67
this.alignment1.Name = "alignment1";
68
this.alignment1.TopPadding = ((uint)(4));
69
this.alignment1.RightPadding = ((uint)(7));
70
// Container child alignment1.Gtk.Container+ContainerChild
71
this.vbox1 = new Gtk.VBox();
72
this.vbox1.Name = "vbox1";
73
this.vbox1.Spacing = 6;
74
// Container child vbox1.Gtk.Box+BoxChild
72
75
this.frame1 = new Gtk.Frame();
73
76
this.frame1.Name = "frame1";
74
77
this.frame1.ShadowType = ((Gtk.ShadowType)(0));
75
78
// Container child frame1.Gtk.Container+ContainerChild
76
this.GtkAlignment = new Gtk.Alignment(0F, 0F, 1F, 1F);
77
this.GtkAlignment.Name = "GtkAlignment";
78
this.GtkAlignment.LeftPadding = ((uint)(5));
79
this.GtkAlignment.TopPadding = ((uint)(5));
80
this.GtkAlignment.RightPadding = ((uint)(5));
81
this.GtkAlignment.BottomPadding = ((uint)(10));
82
// Container child GtkAlignment.Gtk.Container+ContainerChild
79
this.GtkAlignment1 = new Gtk.Alignment(0F, 0F, 1F, 1F);
80
this.GtkAlignment1.Name = "GtkAlignment1";
81
this.GtkAlignment1.LeftPadding = ((uint)(12));
82
// Container child GtkAlignment1.Gtk.Container+ContainerChild
83
this.GtkAlignment2 = new Gtk.Alignment(0F, 0F, 1F, 1F);
84
this.GtkAlignment2.Name = "GtkAlignment2";
85
this.GtkAlignment2.LeftPadding = ((uint)(5));
86
this.GtkAlignment2.TopPadding = ((uint)(5));
87
this.GtkAlignment2.RightPadding = ((uint)(5));
88
this.GtkAlignment2.BottomPadding = ((uint)(5));
89
// Container child GtkAlignment2.Gtk.Container+ContainerChild
83
90
this.alignment2 = new Gtk.Alignment(0.5F, 0.5F, 1F, 1F);
84
91
this.alignment2.Name = "alignment2";
85
92
// Container child alignment2.Gtk.Container+ContainerChild
86
this.vbox1 = new Gtk.VBox();
87
this.vbox1.Name = "vbox1";
88
this.vbox1.Spacing = 6;
89
// Container child vbox1.Gtk.Box+BoxChild
90
this.alignment1 = new Gtk.Alignment(0.5F, 0.5F, 1F, 1F);
91
this.alignment1.Name = "alignment1";
92
// Container child alignment1.Gtk.Container+ContainerChild
93
this.table1 = new Gtk.Table(((uint)(2)), ((uint)(3)), false);
94
this.table1.Name = "table1";
95
this.table1.RowSpacing = ((uint)(6));
96
this.table1.ColumnSpacing = ((uint)(16));
97
// Container child table1.Gtk.Table+TableChild
98
this.hbox3 = new Gtk.HBox();
99
this.hbox3.Name = "hbox3";
100
this.hbox3.Spacing = 6;
101
// Container child hbox3.Gtk.Box+BoxChild
102
this.background_colorbutton = new Gtk.ColorButton();
103
this.background_colorbutton.CanFocus = true;
104
this.background_colorbutton.Events = ((Gdk.EventMask)(784));
105
this.background_colorbutton.Name = "background_colorbutton";
106
this.background_colorbutton.UseAlpha = true;
107
this.background_colorbutton.Alpha = 65535;
108
this.hbox3.Add(this.background_colorbutton);
109
Gtk.Box.BoxChild w1 = ((Gtk.Box.BoxChild)(this.hbox3[this.background_colorbutton]));
111
// Container child hbox3.Gtk.Box+BoxChild
112
this.clear_background = new Gtk.Button();
113
this.clear_background.CanFocus = true;
114
this.clear_background.Name = "clear_background";
115
this.clear_background.UseUnderline = true;
116
this.clear_background.Relief = ((Gtk.ReliefStyle)(2));
117
// Container child clear_background.Gtk.Container+ContainerChild
118
Gtk.Alignment w2 = new Gtk.Alignment(0.5F, 0.5F, 0F, 0F);
119
// Container child GtkAlignment.Gtk.Container+ContainerChild
120
Gtk.HBox w3 = new Gtk.HBox();
122
// Container child GtkHBox.Gtk.Container+ContainerChild
123
Gtk.Image w4 = new Gtk.Image();
124
w4.Pixbuf = Stetic.IconLoader.LoadIcon(this, "gtk-clear", Gtk.IconSize.Menu, 16);
126
// Container child GtkHBox.Gtk.Container+ContainerChild
127
Gtk.Label w6 = new Gtk.Label();
128
w6.LabelProp = Mono.Unix.Catalog.GetString("_Reset");
129
w6.UseUnderline = true;
132
this.clear_background.Add(w2);
133
this.hbox3.Add(this.clear_background);
134
Gtk.Box.BoxChild w10 = ((Gtk.Box.BoxChild)(this.hbox3[this.clear_background]));
138
this.table1.Add(this.hbox3);
139
Gtk.Table.TableChild w11 = ((Gtk.Table.TableChild)(this.table1[this.hbox3]));
140
w11.TopAttach = ((uint)(1));
141
w11.BottomAttach = ((uint)(2));
142
w11.LeftAttach = ((uint)(1));
143
w11.RightAttach = ((uint)(2));
144
w11.XOptions = ((Gtk.AttachOptions)(4));
145
w11.YOptions = ((Gtk.AttachOptions)(4));
146
// Container child table1.Gtk.Table+TableChild
147
this.label8 = new Gtk.Label();
148
this.label8.Name = "label8";
149
this.label8.Xalign = 0F;
150
this.label8.LabelProp = Mono.Unix.Catalog.GetString("Background Color:");
151
this.table1.Add(this.label8);
152
Gtk.Table.TableChild w12 = ((Gtk.Table.TableChild)(this.table1[this.label8]));
153
w12.TopAttach = ((uint)(1));
154
w12.BottomAttach = ((uint)(2));
155
w12.XOptions = ((Gtk.AttachOptions)(4));
156
w12.YOptions = ((Gtk.AttachOptions)(4));
157
// Container child table1.Gtk.Table+TableChild
158
this.theme_combo = Gtk.ComboBox.NewText();
159
this.theme_combo.Name = "theme_combo";
160
this.table1.Add(this.theme_combo);
161
Gtk.Table.TableChild w13 = ((Gtk.Table.TableChild)(this.table1[this.theme_combo]));
162
w13.LeftAttach = ((uint)(1));
163
w13.RightAttach = ((uint)(2));
164
w13.XOptions = ((Gtk.AttachOptions)(4));
165
w13.YOptions = ((Gtk.AttachOptions)(4));
166
// Container child table1.Gtk.Table+TableChild
167
this.theme_lbl = new Gtk.Label();
168
this.theme_lbl.Name = "theme_lbl";
169
this.theme_lbl.Xalign = 0F;
170
this.theme_lbl.LabelProp = Mono.Unix.Catalog.GetString("_Theme:");
171
this.theme_lbl.UseUnderline = true;
172
this.table1.Add(this.theme_lbl);
173
Gtk.Table.TableChild w14 = ((Gtk.Table.TableChild)(this.table1[this.theme_lbl]));
174
w14.XOptions = ((Gtk.AttachOptions)(4));
175
w14.YOptions = ((Gtk.AttachOptions)(4));
176
this.alignment1.Add(this.table1);
177
this.vbox1.Add(this.alignment1);
178
Gtk.Box.BoxChild w16 = ((Gtk.Box.BoxChild)(this.vbox1[this.alignment1]));
182
// Container child vbox1.Gtk.Box+BoxChild
183
93
this.vbox3 = new Gtk.VBox();
184
94
this.vbox3.Name = "vbox3";
185
95
this.vbox3.Spacing = 6;
186
96
// Container child vbox3.Gtk.Box+BoxChild
187
this.vbox4 = new Gtk.VBox();
188
this.vbox4.Name = "vbox4";
189
this.vbox4.Spacing = 6;
190
// Container child vbox4.Gtk.Box+BoxChild
191
this.hbox2 = new Gtk.HBox();
192
this.hbox2.Name = "hbox2";
193
this.hbox2.Homogeneous = true;
194
this.hbox2.Spacing = 6;
195
// Container child hbox2.Gtk.Box+BoxChild
97
this.table3 = new Gtk.Table(((uint)(1)), ((uint)(3)), false);
98
this.table3.Name = "table3";
99
this.table3.RowSpacing = ((uint)(6));
100
this.table3.ColumnSpacing = ((uint)(6));
101
// Container child table3.Gtk.Table+TableChild
102
this.hbox10 = new Gtk.HBox();
103
this.hbox10.WidthRequest = 70;
104
this.hbox10.Name = "hbox10";
105
this.hbox10.Spacing = 6;
106
this.table3.Add(this.hbox10);
107
Gtk.Table.TableChild w1 = ((Gtk.Table.TableChild)(this.table3[this.hbox10]));
108
w1.XOptions = ((Gtk.AttachOptions)(4));
109
w1.YOptions = ((Gtk.AttachOptions)(4));
110
// Container child table3.Gtk.Table+TableChild
111
this.hbox4 = new Gtk.HBox();
112
this.hbox4.Name = "hbox4";
113
this.hbox4.Spacing = 6;
114
// Container child hbox4.Gtk.Box+BoxChild
115
this.theme_combo = Gtk.ComboBox.NewText();
116
this.theme_combo.Name = "theme_combo";
117
this.hbox4.Add(this.theme_combo);
118
Gtk.Box.BoxChild w2 = ((Gtk.Box.BoxChild)(this.hbox4[this.theme_combo]));
122
this.table3.Add(this.hbox4);
123
Gtk.Table.TableChild w3 = ((Gtk.Table.TableChild)(this.table3[this.hbox4]));
124
w3.LeftAttach = ((uint)(1));
125
w3.RightAttach = ((uint)(2));
126
w3.XOptions = ((Gtk.AttachOptions)(4));
127
w3.YOptions = ((Gtk.AttachOptions)(4));
128
// Container child table3.Gtk.Table+TableChild
196
129
this.pin_check = new Gtk.CheckButton();
197
130
this.pin_check.CanFocus = true;
198
131
this.pin_check.Name = "pin_check";
199
132
this.pin_check.Label = Mono.Unix.Catalog.GetString("Always show results window");
200
this.pin_check.Active = true;
201
133
this.pin_check.DrawIndicator = true;
202
134
this.pin_check.UseUnderline = true;
203
this.hbox2.Add(this.pin_check);
204
Gtk.Box.BoxChild w17 = ((Gtk.Box.BoxChild)(this.hbox2[this.pin_check]));
206
this.vbox4.Add(this.hbox2);
207
Gtk.Box.BoxChild w18 = ((Gtk.Box.BoxChild)(this.vbox4[this.hbox2]));
211
// Container child vbox4.Gtk.Box+BoxChild
212
this.shadow_check = new Gtk.CheckButton();
213
this.shadow_check.CanFocus = true;
214
this.shadow_check.Name = "shadow_check";
215
this.shadow_check.Label = Mono.Unix.Catalog.GetString("Show window shadow");
216
this.shadow_check.DrawIndicator = true;
217
this.shadow_check.UseUnderline = true;
218
this.vbox4.Add(this.shadow_check);
219
Gtk.Box.BoxChild w19 = ((Gtk.Box.BoxChild)(this.vbox4[this.shadow_check]));
223
// Container child vbox4.Gtk.Box+BoxChild
224
this.animation_check = new Gtk.CheckButton();
225
this.animation_check.CanFocus = true;
226
this.animation_check.Name = "animation_check";
227
this.animation_check.Label = Mono.Unix.Catalog.GetString("Animate window");
228
this.animation_check.Active = true;
229
this.animation_check.DrawIndicator = true;
230
this.animation_check.UseUnderline = true;
231
this.vbox4.Add(this.animation_check);
232
Gtk.Box.BoxChild w20 = ((Gtk.Box.BoxChild)(this.vbox4[this.animation_check]));
236
this.vbox3.Add(this.vbox4);
237
Gtk.Box.BoxChild w21 = ((Gtk.Box.BoxChild)(this.vbox3[this.vbox4]));
241
this.vbox1.Add(this.vbox3);
242
Gtk.Box.BoxChild w22 = ((Gtk.Box.BoxChild)(this.vbox1[this.vbox3]));
246
this.alignment2.Add(this.vbox1);
247
this.GtkAlignment.Add(this.alignment2);
248
this.frame1.Add(this.GtkAlignment);
249
this.vbox2.Add(this.frame1);
250
Gtk.Box.BoxChild w26 = ((Gtk.Box.BoxChild)(this.vbox2[this.frame1]));
254
// Container child vbox2.Gtk.Box+BoxChild
135
this.table3.Add(this.pin_check);
136
Gtk.Table.TableChild w4 = ((Gtk.Table.TableChild)(this.table3[this.pin_check]));
137
w4.LeftAttach = ((uint)(2));
138
w4.RightAttach = ((uint)(3));
139
w4.YOptions = ((Gtk.AttachOptions)(4));
140
this.vbox3.Add(this.table3);
141
Gtk.Box.BoxChild w5 = ((Gtk.Box.BoxChild)(this.vbox3[this.table3]));
145
this.alignment2.Add(this.vbox3);
146
this.GtkAlignment2.Add(this.alignment2);
147
this.GtkAlignment1.Add(this.GtkAlignment2);
148
this.frame1.Add(this.GtkAlignment1);
149
this.GtkLabel2 = new Gtk.Label();
150
this.GtkLabel2.Name = "GtkLabel2";
151
this.GtkLabel2.LabelProp = Mono.Unix.Catalog.GetString("<b>Selected Theme</b>");
152
this.GtkLabel2.UseMarkup = true;
153
this.frame1.LabelWidget = this.GtkLabel2;
154
this.vbox1.Add(this.frame1);
155
Gtk.Box.BoxChild w10 = ((Gtk.Box.BoxChild)(this.vbox1[this.frame1]));
159
// Container child vbox1.Gtk.Box+BoxChild
255
160
this.composite_warning_widget = new Gtk.VBox();
256
161
this.composite_warning_widget.Name = "composite_warning_widget";
257
162
this.composite_warning_widget.Spacing = 6;