[3742] | 1 | #region License Information
|
---|
| 2 | /* HeuristicLab
|
---|
[11171] | 3 | * Copyright (C) 2002-2014 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
---|
[3742] | 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
|
---|
[2659] | 21 | using System.Drawing;
|
---|
[4068] | 22 | using ICSharpCode.TextEditor;
|
---|
[2659] | 23 | using ICSharpCode.TextEditor.Document;
|
---|
| 24 |
|
---|
| 25 | namespace HeuristicLab.CodeEditor {
|
---|
| 26 | public class ErrorBookmark : Bookmark {
|
---|
[11657] | 27 | private readonly Brush brush;
|
---|
[2659] | 28 |
|
---|
| 29 | public override bool CanToggle { get { return false; } }
|
---|
| 30 |
|
---|
| 31 | public ErrorBookmark(IDocument document, TextLocation location)
|
---|
[11657] | 32 | : this(document, location, Color.Red) { }
|
---|
| 33 |
|
---|
| 34 | public ErrorBookmark(IDocument document, TextLocation location, Color color)
|
---|
[2659] | 35 | : base(document, location) {
|
---|
[11657] | 36 | brush = new SolidBrush(color);
|
---|
[2659] | 37 | }
|
---|
| 38 |
|
---|
[11657] | 39 | public override void Draw(IconBarMargin margin, Graphics g, Point p) {
|
---|
[2659] | 40 | int delta = margin.TextArea.TextView.FontHeight / 4;
|
---|
[4068] | 41 | Rectangle rect = new Rectangle(
|
---|
[2659] | 42 | 2,
|
---|
| 43 | p.Y + delta,
|
---|
| 44 | margin.DrawingPosition.Width - 6,
|
---|
| 45 | margin.TextArea.TextView.FontHeight - delta * 2);
|
---|
[11657] | 46 | g.FillRectangle(brush, rect);
|
---|
[2659] | 47 | g.DrawRectangle(Pens.White, rect);
|
---|
| 48 | }
|
---|
| 49 | }
|
---|
| 50 | }
|
---|