[3742] | 1 | #region License Information
|
---|
| 2 | /* HeuristicLab
|
---|
[11185] | 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 {
|
---|
| 27 |
|
---|
| 28 | public override bool CanToggle { get { return false; } }
|
---|
| 29 |
|
---|
| 30 | public ErrorBookmark(IDocument document, TextLocation location)
|
---|
| 31 | : base(document, location) {
|
---|
| 32 | }
|
---|
| 33 |
|
---|
[4068] | 34 | public override void Draw(IconBarMargin margin, System.Drawing.Graphics g, System.Drawing.Point p) {
|
---|
[2659] | 35 | int delta = margin.TextArea.TextView.FontHeight / 4;
|
---|
[4068] | 36 | Rectangle rect = new Rectangle(
|
---|
[2659] | 37 | 2,
|
---|
| 38 | p.Y + delta,
|
---|
| 39 | margin.DrawingPosition.Width - 6,
|
---|
| 40 | margin.TextArea.TextView.FontHeight - delta * 2);
|
---|
| 41 | g.FillRectangle(Brushes.Red, rect);
|
---|
| 42 | g.DrawRectangle(Pens.White, rect);
|
---|
| 43 | }
|
---|
| 44 | }
|
---|
| 45 | }
|
---|