Changeset 11835

Timestamp:

01/28/15 12:07:33 (10 years ago)

Author:

jkarder

Message:

#2077: changed error and warning markup handling

File:

• trunk/sources/HeuristicLab.CodeEditor/3.4/CodeEditor.cs (modified) (4 diffs)

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

@@ -79 +79 @@
         if (value == null) value = string.Empty;
         if (prefix == value) return;
-        if (prefixMarker != null) textMarkerService.Remove(prefixMarker);
+        if (prefixMarker != null) prefixMarker.Delete();
         Doc.Remove(0, prefix.Length);
         prefix = value;
@@ -97 +97 @@
         if (value == null) value = string.Empty;
         if (suffix == value) return;
-        if (suffixMarker != null) textMarkerService.Remove(suffixMarker);
+        if (suffixMarker != null) suffixMarker.Delete();
         Doc.Remove(Doc.TextLength - suffix.Length, suffix.Length);
         suffix = value;
@@ -244 +244 @@
 
       TextEditor.TextChanged += (sender, args) => {
-        textMarkerService.RemoveAll(x => x != prefixMarker && x != suffixMarker);
+        foreach (var marker in textMarkerService.TextMarkers) {
+          if (marker == prefixMarker || marker == suffixMarker) continue;
+          if (marker.Length != (int)marker.Tag)
+            marker.Delete();
+        }
         OnTextEditorTextChanged();
       };
@@ -408 +412 @@
       marker.MarkerTypes = TextMarkerTypes.SquigglyUnderline;
       marker.MarkerColor = error.IsWarning ? WarningColor : ErrorColor;
+      marker.Tag = segment.Length;
     }