private void button1_Click(object sender, EventArgs e)
        {
            int line;

            if (!int.TryParse(textBox1.Text, out line))
            {
                return;
            }
            editor.EnsureVisible(line - 1);
            editor.GotoLine(line - 1);
            editor.GrabFocus();
        }