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;
 }
Exemple #2
0
        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);
 }
Exemple #4
0
 protected override void OnClosed(EventArgs e)
 {
     Instance = null;
     base.OnClosed(e);
 }