1 | #region License Information
|
---|
2 | /* HeuristicLab
|
---|
3 | * Copyright (C) 2002-2019 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
---|
4 | *
|
---|
5 | * This file is part of HeuristicLab.
|
---|
6 | *
|
---|
7 | * HeuristicLab is free software: you can redistribute it and/or modify
|
---|
8 | * it under the terms of the GNU General Public License as published by
|
---|
9 | * the Free Software Foundation, either version 3 of the License, or
|
---|
10 | * (at your option) any later version.
|
---|
11 | *
|
---|
12 | * HeuristicLab is distributed in the hope that it will be useful,
|
---|
13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
15 | * GNU General Public License for more details.
|
---|
16 | *
|
---|
17 | * You should have received a copy of the GNU General Public License
|
---|
18 | * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
|
---|
19 | */
|
---|
20 | #endregion
|
---|
21 |
|
---|
22 | using System;
|
---|
23 | using System.Windows.Forms;
|
---|
24 | using ICSharpCode.AvalonEdit;
|
---|
25 |
|
---|
26 | namespace HeuristicLab.CodeEditor {
|
---|
27 | internal partial class GoToLineDialog : Form {
|
---|
28 | private readonly TextEditor textEditor;
|
---|
29 | private readonly int lowerLimit, upperLimit;
|
---|
30 |
|
---|
31 | public int Line { get; set; }
|
---|
32 |
|
---|
33 | public GoToLineDialog(TextEditor textEditor) {
|
---|
34 | InitializeComponent();
|
---|
35 | this.textEditor = textEditor;
|
---|
36 | lowerLimit = 1;
|
---|
37 | upperLimit = textEditor.LineCount;
|
---|
38 | lineNumberLabel.Text = string.Format("Line Number ({0}-{1}):", lowerLimit, upperLimit);
|
---|
39 | }
|
---|
40 |
|
---|
41 | private void GoToLineDialog_Load(object sender, EventArgs e) {
|
---|
42 | var caret = textEditor.TextArea.Caret;
|
---|
43 | lineNumberTextBox.Text = caret.Line.ToString();
|
---|
44 | lineNumberTextBox.SelectAll();
|
---|
45 | }
|
---|
46 |
|
---|
47 | private void lineNumberTextBox_TextChanged(object sender, EventArgs e) {
|
---|
48 | int line;
|
---|
49 | if (!int.TryParse(lineNumberTextBox.Text, out line) || line < lowerLimit || line > upperLimit) {
|
---|
50 | errorProvider.SetError(lineNumberTextBox, string.Format("Value must be an integer in the range [{0},{1}].", lowerLimit, upperLimit));
|
---|
51 | okButton.Enabled = false;
|
---|
52 | } else {
|
---|
53 | errorProvider.SetError(lineNumberTextBox, null);
|
---|
54 | okButton.Enabled = true;
|
---|
55 | }
|
---|
56 | Line = line;
|
---|
57 | }
|
---|
58 | }
|
---|
59 | }
|
---|