Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.CodeEditor/3.3/ErrorBookmark.cs @ 11657

Last change on this file since 11657 was 11657, checked in by jkarder, 9 years ago

#2262: applied some of the changes suggested by swagner in comment:17:ticket:2262

  • added highlighting of current line
  • added error markers and bookmarks
  • fixed <Ctrl> + <Backspace> bug
  • minor code changes
File size: 1.8 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2014 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
21using System.Drawing;
22using ICSharpCode.TextEditor;
23using ICSharpCode.TextEditor.Document;
24
25namespace HeuristicLab.CodeEditor {
26  public class ErrorBookmark : Bookmark {
27    private readonly Brush brush;
28
29    public override bool CanToggle { get { return false; } }
30
31    public ErrorBookmark(IDocument document, TextLocation location)
32      : this(document, location, Color.Red) { }
33
34    public ErrorBookmark(IDocument document, TextLocation location, Color color)
35      : base(document, location) {
36      brush = new SolidBrush(color);
37    }
38
39    public override void Draw(IconBarMargin margin, Graphics g, Point p) {
40      int delta = margin.TextArea.TextView.FontHeight / 4;
41      Rectangle rect = new Rectangle(
42        2,
43        p.Y + delta,
44        margin.DrawingPosition.Width - 6,
45        margin.TextArea.TextView.FontHeight - delta * 2);
46      g.FillRectangle(brush, rect);
47      g.DrawRectangle(Pens.White, rect);
48    }
49  }
50}
Note: See TracBrowser for help on using the repository browser.