Beispiel #1
0
        protected override void OnPaint(PaintEventArgs e)
        {
            int    location;
            string error_text;

            Console.WriteLine(this.error);
            if (this.result != null && !this.result.valid)
            {
                location   = this.result.location;
                error_text = this.variableTextBox.Text;
            }
            else
            {
                if (this.prompt_result != null && !this.prompt_result.valid)
                {
                    location   = this.prompt_result.location;
                    error_text = this.exprTextBox.Text;
                }
                else
                {
                    location   = 0;
                    error_text = "";
                }
            }
            this.labelGraphics = this.errorLabel.CreateGraphics();
            Dialog_Helpers.Paint_Helper(this.labelGraphics,
                                        error_text,
                                        this.examplesLabel,
                                        this.error_msg,
                                        location,
                                        this.error);
        }
Beispiel #2
0
        protected override void OnPaint(PaintEventArgs e)
        {
            int location;

            if (this.result != null)
            {
                location = this.result.location;
            }
            else
            {
                location = 0;
            }
            this.labelGraphics = this.label4.CreateGraphics();
            Dialog_Helpers.Paint_Helper(this.labelGraphics,
                                        this.textBox1.Text,
                                        this.label2,
                                        this.error_msg,
                                        location,
                                        this.error);
            this.textBox1.Focus();
        }
Beispiel #3
0
        protected override void OnPaint(PaintEventArgs e)
        {
            int location;

            if (this.result != null)
            {
                location = this.result.location;
            }
            else
            {
                location = 0;
            }
            this.labelGraphics = this.label2.CreateGraphics();

            Dialog_Helpers.Paint_Helper(
                this.labelGraphics,
                this.lhsTextBox.Text + ' ' + Component.assignmentSymbol + this.assignment_Text.Text,
                this.label1,
                this.error_msg,
                location,
                this.error);
        }