2
// This file has been generated by the GUI designer. Do not modify.
3
namespace MonoDevelop.Ide.Execution
5
internal partial class MonoExecutionParametersPreview
7
private global::Gtk.ScrolledWindow GtkScrolledWindow;
9
private global::Gtk.Label labelOps;
11
private global::Gtk.Button buttonOk;
13
protected virtual void Build ()
15
global::Stetic.Gui.Initialize (this);
16
// Widget MonoDevelop.Ide.Execution.MonoExecutionParametersPreview
17
this.Name = "MonoDevelop.Ide.Execution.MonoExecutionParametersPreview";
18
this.Title = global::MonoDevelop.Core.GettextCatalog.GetString ("Options Preview");
19
this.WindowPosition = ((global::Gtk.WindowPosition)(4));
21
// Internal child MonoDevelop.Ide.Execution.MonoExecutionParametersPreview.VBox
22
global::Gtk.VBox w1 = this.VBox;
23
w1.Name = "dialog1_VBox";
24
w1.BorderWidth = ((uint)(2));
25
// Container child dialog1_VBox.Gtk.Box+BoxChild
26
this.GtkScrolledWindow = new global::Gtk.ScrolledWindow ();
27
this.GtkScrolledWindow.Name = "GtkScrolledWindow";
28
this.GtkScrolledWindow.HscrollbarPolicy = ((global::Gtk.PolicyType)(2));
29
this.GtkScrolledWindow.BorderWidth = ((uint)(6));
30
// Container child GtkScrolledWindow.Gtk.Container+ContainerChild
31
global::Gtk.Viewport w2 = new global::Gtk.Viewport ();
32
w2.ShadowType = ((global::Gtk.ShadowType)(0));
33
// Container child GtkViewport.Gtk.Container+ContainerChild
34
this.labelOps = new global::Gtk.Label ();
35
this.labelOps.Name = "labelOps";
36
this.labelOps.Xalign = 0f;
37
this.labelOps.Yalign = 0f;
38
this.labelOps.UseMarkup = true;
39
this.labelOps.Wrap = true;
40
this.labelOps.Selectable = true;
41
this.labelOps.WidthChars = 50;
42
w2.Add (this.labelOps);
43
this.GtkScrolledWindow.Add (w2);
44
w1.Add (this.GtkScrolledWindow);
45
global::Gtk.Box.BoxChild w5 = ((global::Gtk.Box.BoxChild)(w1[this.GtkScrolledWindow]));
47
// Internal child MonoDevelop.Ide.Execution.MonoExecutionParametersPreview.ActionArea
48
global::Gtk.HButtonBox w6 = this.ActionArea;
49
w6.Name = "dialog1_ActionArea";
51
w6.BorderWidth = ((uint)(5));
52
w6.LayoutStyle = ((global::Gtk.ButtonBoxStyle)(4));
53
// Container child dialog1_ActionArea.Gtk.ButtonBox+ButtonBoxChild
54
this.buttonOk = new global::Gtk.Button ();
55
this.buttonOk.CanDefault = true;
56
this.buttonOk.CanFocus = true;
57
this.buttonOk.Name = "buttonOk";
58
this.buttonOk.UseStock = true;
59
this.buttonOk.UseUnderline = true;
60
this.buttonOk.Label = "gtk-close";
61
this.AddActionWidget (this.buttonOk, -7);
62
global::Gtk.ButtonBox.ButtonBoxChild w7 = ((global::Gtk.ButtonBox.ButtonBoxChild)(w6[this.buttonOk]));
65
if ((this.Child != null)) {
66
this.Child.ShowAll ();
68
this.DefaultWidth = 501;
69
this.DefaultHeight = 341;