void SemanticHighlighting_SemanticHighlightingUpdated(object sender, EventArgs e) { Application.Invoke((o, args) => { if (isDisposed) { return; } var margin = editor.TextViewMargin; if (margin == null) { return; } margin.PurgeLayoutCache(); editor.QueueDraw(); }); }
void SemanticHighlighting_SemanticHighlightingUpdated(object sender, EventArgs e) { Application.Invoke(delegate { if (isDisposed) { return; } UnregisterLineSegmentTrees(); lineSegments.Clear(); var margin = editor.TextViewMargin; if (margin == null) { return; } margin.PurgeLayoutCache(); editor.QueueDraw(); }); }