public ResultStylesForm(string path, Rectangle screenBounds) { SyntaxLanguage language; int num; this.components = null; Instance = this; this.Path = path; this._screenBounds = screenBounds; this.InitializeComponent(); base.Icon = Resources.LINQPad; this.customEditor.get_Document().set_Language(language = DocumentManager.GetDynamicLanguage("CSS", SystemColors.Window.GetBrightness())); this.baseEditor.get_Document().set_Language(language); this.baseEditor.get_Document().set_Text("body\r\n{\r\n\tmargin: 0.3em 0.3em 0.4em 0.5em;\r\n\tfont-family: Verdana;\r\n\tfont-size: 80%;\r\n\tbackground: white;\r\n}\r\n\r\np, pre\r\n{\r\n\tmargin:0;\r\n\tpadding:0;\r\n\tfont-family: Verdana;\r\n}\r\n\r\ntable\r\n{\r\n\tborder-collapse: collapse;\r\n\tborder: 2px solid #17b;\r\n\tborder-top: 1px;\r\n\tmargin: 0.3em 0.2em;\r\n}\r\n\r\ntable.limit\r\n{\r\n\tborder-collapse: collapse;\r\n\tborder-bottom: 2px solid #c31;\r\n}\r\n\r\ntd, th\r\n{\r\n\tvertical-align: top;\r\n\tborder: 1px solid #aaa;\r\n\tpadding: 0.1em 0.2em;\r\n\tmargin: 0;\r\n}\r\n\r\nth\r\n{\r\n\ttext-align: left;\r\n\tbackground-color: #ddd;\r\n\tborder: 1px solid #777;\r\n\tfont-family: tahoma;\r\n\tfont-size:90%;\r\n\tfont-weight: bold;\r\n}\r\n\r\nth.member\r\n{\r\n\tpadding: 0.1em 0.2em 0.1em 0.2em;\r\n}\r\n\r\ntd.typeheader\r\n{\r\n\tfont-family: tahoma;\r\n\tfont-size: 90%;\r\n\tfont-weight: bold;\r\n\tbackground-color: #17b;\r\n\tcolor: white;\r\n\tpadding: 0 0.2em 0.1em 0.1em;\r\n}\r\n\r\ntd.n { text-align: right }\r\n\r\na:link.typeheader, a:visited.typeheader\r\n{\r\n\tfont-family: tahoma;\r\n\tfont-size: 90%;\r\n\tfont-weight: bold;\r\n\ttext-decoration: none;\r\n\tbackground-color: #17b;\r\n\tcolor: white;\r\n\tfloat:left;\r\n}\r\n\r\nspan.typeglyph\r\n{\r\n\tfont-family: webdings;\r\n\tpadding: 0 0.2em 0 0;\r\n\tmargin: 0;\r\n}\r\n\r\ntable.group\r\n{\r\n\tborder: none;\r\n\tmargin: 0;\r\n}\r\n\r\ntd.group\r\n{\r\n\tborder: none;\r\n\tpadding: 0 0.1em;\r\n}\r\n\r\ndiv.spacer\r\n{\r\n\tmargin: 0.6em 0;\r\n}\r\n\r\ntable.headingpresenter\r\n{\r\n\tborder: none;\r\n\tborder-left: 3px dotted #1a5;\r\n\tmargin: 1em 0em 1.2em 0.15em;\r\n}\r\n\r\nth.headingpresenter\r\n{\r\n\tfont-family: Arial;\r\n\tborder: none;\r\n\tpadding: 0 0 0.2em 0.5em;\r\n\tbackground-color: white;\r\n\tcolor: green;\r\n\tfont-size: 110%; \r\n}\r\n\r\ntd.headingpresenter\r\n{\r\n\tborder: none;\r\n\tpadding: 0 0 0 0.6em;\r\n}\r\n\r\ntd.summary\r\n{ \r\n\tbackground-color: #def;\r\n\tcolor: #024;\r\n\tfont-family: Tahoma;\r\n\tpadding: 0 0.1em 0.1em 0.1em;\r\n}\r\n\r\ntd.columntotal\r\n{\r\n\tfont-family: Tahoma;\r\n\tbackground-color: #eee;\r\n\tfont-weight: bold;\r\n\tcolor: #17b;\r\n\tfont-size:90%;\r\n\ttext-align:right;\r\n}\r\n\r\nspan.graphbar\r\n{\r\n\tbackground: #17b;\r\n\tcolor: #17b;\r\n\tmargin-left: -2px;\r\n\tmargin-right: -2px;\r\n}\r\n\r\na:link.graphcolumn, a:visited.graphcolumn\r\n{\r\n\tcolor: #17b;\r\n\ttext-decoration: none;\r\n\tfont-weight: bold;\r\n\tfont-family: Arial;\r\n\tfont-size: 110%;\r\n\tletter-spacing: -0.4em;\t\r\n\tmargin-left: 0.3em;\r\n}\r\n\r\ni { color: green; }\r\n\r\nem { color: red; }\r\n\r\nspan.highlight { background: #ff8; }"); if (File.Exists(path)) { this.customEditor.get_Document().LoadFile(path); } this.customEditor.get_Document().set_Modified(false); this.baseEditor.set_SelectionMarginWidth(num = this.Font.Height / 2); this.customEditor.set_SelectionMarginWidth(num); try { this.customEditor.Font = this.baseEditor.Font = new Font("Consolas", 9.5f); } catch { } this.EnableControls(); this.chkTopMost.Checked = false; }
public ResultStylesForm(string path, Rectangle screenBounds) { SyntaxLanguage language; int num; this.components = null; Instance = this; this.Path = path; this._screenBounds = screenBounds; this.InitializeComponent(); base.Icon = Resources.LINQPad; this.customEditor.get_Document().set_Language(language = DocumentManager.GetDynamicLanguage("CSS", SystemColors.Window.GetBrightness())); this.baseEditor.get_Document().set_Language(language); this.baseEditor.get_Document().set_Text("body\r\n{\r\n\tmargin: 0.3em 0.3em 0.4em 0.5em;\r\n\tfont-family: Verdana;\r\n\tfont-size: 80%;\r\n\tbackground: white;\r\n}\r\n\r\np, pre\r\n{\r\n\tmargin:0;\r\n\tpadding:0;\r\n\tfont-family: Verdana;\r\n}\r\n\r\ntable\r\n{\r\n\tborder-collapse: collapse;\r\n\tborder: 2px solid #17b;\r\n\tborder-top: 1px;\r\n\tmargin: 0.3em 0.2em;\r\n}\r\n\r\ntable.limit\r\n{\r\n\tborder-collapse: collapse;\r\n\tborder-bottom: 2px solid #c31;\r\n}\r\n\r\ntd, th\r\n{\r\n\tvertical-align: top;\r\n\tborder: 1px solid #aaa;\r\n\tpadding: 0.1em 0.2em;\r\n\tmargin: 0;\r\n}\r\n\r\nth\r\n{\r\n\ttext-align: left;\r\n\tbackground-color: #ddd;\r\n\tborder: 1px solid #777;\r\n\tfont-family: tahoma;\r\n\tfont-size:90%;\r\n\tfont-weight: bold;\r\n}\r\n\r\nth.member\r\n{\r\n\tpadding: 0.1em 0.2em 0.1em 0.2em;\r\n}\r\n\r\ntd.typeheader\r\n{\r\n\tfont-family: tahoma;\r\n\tfont-size: 90%;\r\n\tfont-weight: bold;\r\n\tbackground-color: #17b;\r\n\tcolor: white;\r\n\tpadding: 0 0.2em 0.1em 0.1em;\r\n}\r\n\r\ntd.n { text-align: right }\r\n\r\na:link.typeheader, a:visited.typeheader\r\n{\r\n\tfont-family: tahoma;\r\n\tfont-size: 90%;\r\n\tfont-weight: bold;\r\n\ttext-decoration: none;\r\n\tbackground-color: #17b;\r\n\tcolor: white;\r\n\tfloat:left;\r\n}\r\n\r\nspan.typeglyph\r\n{\r\n\tfont-family: webdings;\r\n\tpadding: 0 0.2em 0 0;\r\n\tmargin: 0;\r\n}\r\n\r\ntable.group\r\n{\r\n\tborder: none;\r\n\tmargin: 0;\r\n}\r\n\r\ntd.group\r\n{\r\n\tborder: none;\r\n\tpadding: 0 0.1em;\r\n}\r\n\r\ndiv.spacer\r\n{\r\n\tmargin: 0.6em 0;\r\n}\r\n\r\ntable.headingpresenter\r\n{\r\n\tborder: none;\r\n\tborder-left: 3px dotted #1a5;\r\n\tmargin: 1em 0em 1.2em 0.15em;\r\n}\r\n\r\nth.headingpresenter\r\n{\r\n\tfont-family: Arial;\r\n\tborder: none;\r\n\tpadding: 0 0 0.2em 0.5em;\r\n\tbackground-color: white;\r\n\tcolor: green;\r\n\tfont-size: 110%; \r\n}\r\n\r\ntd.headingpresenter\r\n{\r\n\tborder: none;\r\n\tpadding: 0 0 0 0.6em;\r\n}\r\n\r\ntd.summary\r\n{ \r\n\tbackground-color: #def;\r\n\tcolor: #024;\r\n\tfont-family: Tahoma;\r\n\tpadding: 0 0.1em 0.1em 0.1em;\r\n}\r\n\r\ntd.columntotal\r\n{\r\n\tfont-family: Tahoma;\r\n\tbackground-color: #eee;\r\n\tfont-weight: bold;\r\n\tcolor: #17b;\r\n\tfont-size:90%;\r\n\ttext-align:right;\r\n}\r\n\r\nspan.graphbar\r\n{\r\n\tbackground: #17b;\r\n\tcolor: #17b;\r\n\tmargin-left: -2px;\r\n\tmargin-right: -2px;\r\n}\r\n\r\na:link.graphcolumn, a:visited.graphcolumn\r\n{\r\n\tcolor: #17b;\r\n\ttext-decoration: none;\r\n\tfont-weight: bold;\r\n\tfont-family: Arial;\r\n\tfont-size: 110%;\r\n\tletter-spacing: -0.4em;\t\r\n\tmargin-left: 0.3em;\r\n}\r\n\r\ni { color: green; }\r\n\r\nem { color: red; }\r\n\r\nspan.highlight { background: #ff8; }"); if (File.Exists(path)) { this.customEditor.get_Document().LoadFile(path); } this.customEditor.get_Document().set_Modified(false); this.baseEditor.set_SelectionMarginWidth(num = this.Font.Height / 2); this.customEditor.set_SelectionMarginWidth(num); try { this.customEditor.Font = this.baseEditor.Font = new Font("Consolas", 9.5f); } catch { } this.EnableControls(); this.chkTopMost.Checked = false; }
protected override void OnClosed(EventArgs e) { Instance = null; base.OnClosed(e); }
protected override void OnClosed(EventArgs e) { Instance = null; base.OnClosed(e); }