Changeset 11836 for trunk/sources/HeuristicLab.CodeEditor/3.4/CodeEditor.cs

Timestamp:

01/28/15 14:32:00 (9 years ago)

Author:

jkarder

Message:

#2077:

• changed error and warning markup handling
• minor code changes

File:

• trunk/sources/HeuristicLab.CodeEditor/3.4/CodeEditor.cs (modified) (1 diff)

trunk/sources/HeuristicLab.CodeEditor/3.4/CodeEditor.cs

@@ -248 +248 @@
           if (marker.Length != (int)marker.Tag)
             marker.Delete();
+          else {
+            int caretOffset = TextEditor.CaretOffset;
+            var line = Doc.GetLineByOffset(marker.StartOffset);
+            int lineEndOffset = line.EndOffset;
+            if (caretOffset == lineEndOffset) // special case for markers beyond line length
+              marker.Delete();
+          }
         }
         OnTextEditorTextChanged();