Changeset 11836 for trunk/sources/HeuristicLab.CodeEditor/3.4/CodeEditor.cs
- Timestamp:
- 01/28/15 14:32:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/sources/HeuristicLab.CodeEditor/3.4/CodeEditor.cs
r11835 r11836 248 248 if (marker.Length != (int)marker.Tag) 249 249 marker.Delete(); 250 else { 251 int caretOffset = TextEditor.CaretOffset; 252 var line = Doc.GetLineByOffset(marker.StartOffset); 253 int lineEndOffset = line.EndOffset; 254 if (caretOffset == lineEndOffset) // special case for markers beyond line length 255 marker.Delete(); 256 } 250 257 } 251 258 OnTextEditorTextChanged();
Note: See TracChangeset
for help on using the changeset viewer.