Optimize SortedList.delete by batching to idle task

2024-04-20 10:32:30 -07:00
parent 5c8a9084e3
commit dc541d5495
2 changed files with 43 additions and 3 deletions
@@ -45,7 +45,8 @@ export class DecorationService extends Disposable implements IDecorationService
    const decoration = new Decoration(options);
    if (decoration) {
      const markerDispose = decoration.marker.onDispose(() => decoration.dispose());
-      decoration.onDispose(() => {
+      const listener = decoration.onDispose(() => {
+        listener.dispose();
        if (decoration) {
          if (this._decorations.delete(decoration)) {
            this._onDecorationRemoved.fire(decoration);