@adecore/editor 0.41.1 → 0.43.0

package/src/fake.ts

@@ -46,9 +46,12 @@ import type {
     EditorSemanticToken,
     EditorSmartKeys,
     EditorApplyEditsOptions,
+    EditorCopy,
+    EditorPasteOptions,
     EditorTextChange,
     EditorTrackedRange,
     EditorTheme,
+    EditorWhitespaceCleanup,
     EditorWidget
 } from './types.ts';
 import { emit, type Listener, subscribe } from './listeners.ts';
@@ -254,6 +257,8 @@ export class FakeEditor implements Editor {
         this.readOnly = options.readOnly ?? false;
         this.readOnlyReason = options.readOnlyReason;
         this.label = options.label ?? 'Code editor';
+        this.todoWords = options.todoWords;
+        this.fontSize = options.fontSize ?? null;
         this.revealedLine = options.line ?? null;
         this.column = options.column ?? null;
         this.scrollTop = options.scrollTop ?? null;
@@ -810,10 +815,88 @@ export class FakeEditor implements Editor {
         this.label = label;
     }
 
+    todoWords: readonly string[] | undefined;
+
+    setTodoWords(words: readonly string[]): void {
+        this.todoWords = [...words];
+    }
+
     setFoldHints(hints: EditorFoldHints | null): void {
         this.foldHints = hints;
     }
 
+    declarations: readonly EditorPosition[] | null = null;
+
+    setDeclarations(positions: readonly EditorPosition[] | null): void {
+        this.declarations = positions;
+    }
+
+    private readonly navigations = new Set<(from: EditorPosition) => void>();
+
+    onNavigate(listener: (from: EditorPosition) => void): () => void {
+        return subscribe(this.navigations, listener);
+    }
+
+    /* Stands for a command that navigated: tells the listeners the caret left `from`. */
+    navigate(from: EditorPosition): void {
+        emit(this.navigations, from);
+    }
+
+    hasFocus(): boolean {
+        return this.focused;
+    }
+
+    private readonly copies = new Set<(copy: EditorCopy) => void>();
+
+    onCopy(listener: (copy: EditorCopy) => void): () => void {
+        return subscribe(this.copies, listener);
+    }
+
+    /* Stands for a copy or cut of a person: tells the listeners what went on the clipboard. */
+    copy(text: string, wholeLines = false, cut = false): void {
+        emit(this.copies, { text, wholeLines, cut });
+    }
+
+    /* Every paste a host asked for, with its options. */
+    readonly pastes: Array<{ text: string; options: EditorPasteOptions | undefined }> = [];
+
+    /* Puts the text at every caret, one line per caret when the lines are as many as the carets, and leaves the carets behind it. */
+    paste(text: string, options?: EditorPasteOptions): boolean {
+        this.assertLive();
+        this.pastes.push({ text, options });
+
+        if (this.readOnly || text === '') {
+            return false;
+        }
+
+        const lines = text.split('\n');
+        const selections = [...this.selections].sort((left, right) => Math.min(left.anchor, left.head) - Math.min(right.anchor, right.head));
+        const perCaret = lines.length === selections.length;
+
+        const edits = selections.map((selection, index) => ({
+            from: Math.min(selection.anchor, selection.head),
+            to: Math.max(selection.anchor, selection.head),
+            text: perCaret ? lines[index]! : text
+        }));
+
+        return this.edit(edits, 'command', false, () => {
+            let shift = 0;
+
+            return edits.map((edit) => {
+                const caret = edit.from + shift + edit.text.length;
+                shift += edit.text.length - (edit.to - edit.from);
+
+                return { anchor: caret, head: caret };
+            });
+        });
+    }
+
+    wordSources: (() => readonly string[]) | null = null;
+
+    setWordSources(source: (() => readonly string[]) | null): void {
+        this.wordSources = source;
+    }
+
     setSmartKeys(keys: Partial<EditorSmartKeys>): void {
         this.smartKeys = keys;
     }
@@ -838,11 +921,17 @@ export class FakeEditor implements Editor {
         this.markers = markers;
     }
 
-    /* What the host drew as hints last. */
+    /* What the host drew as hints last, every owner's together. */
     inlayHints: readonly EditorInlayHint[] = [];
+    private readonly inlayOwners = new Map<string, readonly EditorInlayHint[]>();
 
-    setInlayHints(hints: readonly EditorInlayHint[]): void {
-        this.inlayHints = hints;
+    setInlayHints(hints: readonly EditorInlayHint[], owner = 'default'): void {
+        if (hints.length === 0) {
+            this.inlayOwners.delete(owner);
+        } else {
+            this.inlayOwners.set(owner, hints);
+        }
+        this.inlayHints = [...this.inlayOwners.values()].flat();
     }
 
     private readonly inlayHovers = new Set<(target: EditorInlayTarget | null) => void>();
@@ -1126,6 +1215,22 @@ export class FakeEditor implements Editor {
         return this.edit(ordered, 'command', options.mergeUndo === true, place);
     }
 
+    /* The options of every cleanup asked for, in order; the fake changes no text for them. */
+    readonly cleanups: EditorWhitespaceCleanup[] = [];
+    /* How often the text was marked as saved, by a cleanup or on its own. */
+    savedMarks = 0;
+
+    cleanUpWhitespace(options: EditorWhitespaceCleanup): boolean {
+        this.cleanups.push({ ...options });
+        this.markSaved();
+
+        return false;
+    }
+
+    markSaved(): void {
+        this.savedMarks += 1;
+    }
+
     setTheme(theme: EditorTheme): void {
         this.theme = theme;
     }
@@ -1134,6 +1239,28 @@ export class FakeEditor implements Editor {
         this.fontRefreshes += 1;
     }
 
+    /* The size `setFontSize` set, null for the page's. */
+    fontSize: number | null = null;
+    private readonly fontSizeListeners = new Set<(size: number | null) => void>();
+
+    setFontSize(size: number | null): void {
+        this.fontSize = size;
+    }
+
+    getFontSize(): number {
+        return this.fontSize ?? 13;
+    }
+
+    onFontSizeChange(listener: (size: number | null) => void): () => void {
+        return subscribe(this.fontSizeListeners, listener);
+    }
+
+    /* What a person zooming would do: the new size goes to the listeners. */
+    zoomTo(size: number | null): void {
+        this.fontSize = size;
+        emit(this.fontSizeListeners, size);
+    }
+
     setReadOnly(readOnly: boolean, reason?: string): void {
         this.readOnly = readOnly;
         this.readOnlyReason = reason;
@@ -1161,6 +1288,8 @@ export class FakeEditor implements Editor {
         this.changes.clear();
         this.textChanges.clear();
         this.carets.clear();
+        this.navigations.clear();
+        this.copies.clear();
         this.hovers.clear();
         this.inlayHovers.clear();
         this.inlayHandlers.clear();

package/src/index.ts

@@ -1,7 +1,10 @@
 export { MAX_REPLACEMENT_PAGE, MAX_REPLACEMENT_CHARACTERS } from './search-protocol.ts';
 export { AGENT_COLORS } from './attribution.ts';
 export { findDocComments, MAX_DOC_COMMENTS, type DocComment } from '@adecore/editor-core';
+export { DEFAULT_TODO_WORDS, findTodos, type TodoMatch, type TodoOptions } from '@adecore/editor-core';
+export { detectIndentation, type DetectedIndentation } from '@adecore/editor-core';
 export { createSmartEditorEngine } from './engine.ts';
+export { rememberCopy } from './controller.ts';
 export { DEFAULT_SMART_KEYS } from './smart-keys.ts';
 export { shikiScopeColors, shikiTokenizers } from './shiki.ts';
 
@@ -59,13 +62,17 @@ export type {
     EditorRemoteCursor,
     EditorRange,
     EditorApplyEditsOptions,
+    EditorCopy,
+    EditorPasteOptions,
     EditorTextChange,
     EditorTrackedRange,
     EditorRunCommand,
     EditorSelectionRanges,
     EditorTheme,
     EditorViewCommand,
+    EditorWhitespaceCleanup,
     EditorWidget,
+    EditorZoom,
     FoldRole,
     KeyChord,
     LineToken,

package/src/keymap-table.ts

@@ -33,18 +33,42 @@ export const KEYMAP = {
     deleteLine: bind('Mod+Backspace', 'Mod+Y'),
     moveLineUp: bind('Alt+Shift+ArrowUp'),
     moveLineDown: bind('Alt+Shift+ArrowDown'),
+    moveStatementUp: bind('Mod+Shift+ArrowUp'),
+    moveStatementDown: bind('Mod+Shift+ArrowDown'),
     toggleLineComment: bind('Mod+/'),
     toggleBlockComment: bind('Mod+Alt+/', 'Mod+Shift+/'),
     joinLines: bind('Ctrl+Shift+J'),
     startNewLine: bind('Shift+Enter'),
+    completeCurrentStatement: bind('Mod+Shift+Enter'),
+    hippieCompletion: bind('Alt+/'),
+    hippieBackwardCompletion: bind('Alt+Shift+/'),
     startNewLineBefore: bind('Mod+Alt+Enter'),
     splitLine: bind('Mod+Enter'),
     toggleCase: bind('Mod+Shift+U'),
     autoIndentLines: bind('Ctrl+Alt+I'),
+    // The platform binds no chord to these, so they live in the menu and the palette.
+    sortLines: bind(null),
+    reverseLines: bind(null),
+    uniqueLines: bind(null),
+    convertIndentsToSpaces: bind(null),
+    convertIndentsToTabs: bind(null),
 
     expandSelection: bind('Alt+ArrowUp', 'Ctrl+W'),
-    shrinkSelection: bind('Alt+ArrowDown'),
+    // Off macOS Alt+ArrowDown is Next Method, as in IntelliJ, so Shrink Selection takes its own chord there.
+    shrinkSelection: bind('Alt+ArrowDown', 'Ctrl+Shift+W'),
     matchBrace: bind('Ctrl+M', 'Ctrl+Shift+M'),
+    methodUp: bind('Ctrl+Shift+ArrowUp', 'Alt+ArrowUp'),
+    methodDown: bind('Ctrl+Shift+ArrowDown', 'Alt+ArrowDown'),
+    lastEditLocation: bind('Mod+Shift+Backspace'),
+    nextEditLocation: bind(null),
+    pasteFromHistory: bind('Mod+Shift+V'),
+    pasteAsPlainText: bind('Mod+Alt+Shift+V'),
+    nextChange: bind('Ctrl+Alt+Shift+ArrowDown'),
+    previousChange: bind('Ctrl+Alt+Shift+ArrowUp'),
+    codeBlockStart: bind('Mod+Alt+[', 'Ctrl+['),
+    codeBlockEnd: bind('Mod+Alt+]', 'Ctrl+]'),
+    codeBlockStartWithSelection: bind('Mod+Alt+Shift+[', 'Ctrl+Shift+['),
+    codeBlockEndWithSelection: bind('Mod+Alt+Shift+]', 'Ctrl+Shift+]'),
 
     selectNextOccurrence: bind('Ctrl+G', 'Alt+J'),
     unselectOccurrence: bind('Ctrl+Shift+G', 'Alt+Shift+J'),
@@ -66,9 +90,10 @@ export const KEYMAP = {
     smartEnd: bind('Meta+ArrowRight', null),
     selectSmartEnd: bind('Meta+Shift+ArrowRight', null),
     textStart: bind('Meta+ArrowUp', null),
-    selectTextStart: bind('Meta+Shift+ArrowUp', null),
+    // IntelliJ binds Cmd+Shift+ArrowUp and ArrowDown to Move Statement on macOS, where Cmd+Shift+Home and End still select to the text edges.
+    selectTextStart: bind(null),
     textEnd: bind('Meta+ArrowDown', null),
-    selectTextEnd: bind('Meta+Shift+ArrowDown', null),
+    selectTextEnd: bind(null),
 
     collapse: bind('Mod+-'),
     expand: bind('Mod+='),
@@ -85,6 +110,10 @@ export const KEYMAP = {
     expandAllToLevel3: bind(null),
     expandAllToLevel4: bind(null),
     expandAllToLevel5: bind(null),
+    // The platform binds no chord to these, and the zoom chords of other editors are the fold keys here.
+    increaseFontSize: bind(null),
+    decreaseFontSize: bind(null),
+    resetFontSize: bind(null),
 
     triggerCompletion: bind('Ctrl+Space'),
     parameterInfo: bind('Mod+P'),
@@ -94,6 +123,7 @@ export const KEYMAP = {
     renameSymbol: bind('Shift+F6'),
     organizeImports: bind('Ctrl+Alt+O'),
     formatDocument: bind('Mod+Alt+L'),
+    wrapWithAbbreviation: bind('Mod+Alt+J'),
     selectionToChat: bind(null),
     inlineEdit: bind(null),
     suggestInline: bind(null),
@@ -106,6 +136,7 @@ export const KEYMAP = {
     peekDefinition: bind('Alt+Space', 'Ctrl+Shift+I'),
     peekReferences: bind('Alt+F7'),
     callHierarchy: bind('Ctrl+Alt+H'),
+    typeHierarchy: bind('Ctrl+H'),
     toggleRenderedDocs: bind('Ctrl+Alt+Q'),
     historyBack: bind('Mod+[', 'Ctrl+Alt+ArrowLeft'),
     historyForward: bind('Mod+]', 'Ctrl+Alt+ArrowRight'),
@@ -123,7 +154,35 @@ export const KEYMAP = {
 export type KeymapId = keyof typeof KEYMAP;
 
 /* Commands added after a host may have written a full keymap of its own; a keymap without one falls back to the built-in chord. */
-export type OptionalKeymapId = 'toggleRenderedDocs';
+export type OptionalKeymapId =
+    | 'toggleRenderedDocs'
+    | 'increaseFontSize'
+    | 'decreaseFontSize'
+    | 'resetFontSize'
+    | 'sortLines'
+    | 'reverseLines'
+    | 'uniqueLines'
+    | 'convertIndentsToSpaces'
+    | 'convertIndentsToTabs'
+    | 'completeCurrentStatement'
+    | 'hippieCompletion'
+    | 'hippieBackwardCompletion'
+    | 'moveStatementUp'
+    | 'moveStatementDown'
+    | 'lastEditLocation'
+    | 'nextEditLocation'
+    | 'methodUp'
+    | 'methodDown'
+    | 'pasteFromHistory'
+    | 'pasteAsPlainText'
+    | 'nextChange'
+    | 'previousChange'
+    | 'codeBlockStart'
+    | 'codeBlockEnd'
+    | 'codeBlockStartWithSelection'
+    | 'codeBlockEndWithSelection'
+    | 'wrapWithAbbreviation'
+    | 'typeHierarchy';
 
 export type Keymap = Readonly<Record<Exclude<KeymapId, OptionalKeymapId>, KeyBinding> & Partial<Record<OptionalKeymapId, KeyBinding>>>;
 export type KeymapOverrides = Partial<Record<KeymapId, Partial<KeyBinding>>>;

package/src/keymap.ts

@@ -44,17 +44,36 @@ const ACTIONS: Partial<Record<KeymapId, KeyAction>> = {
     deleteLine: command('deleteLine'),
     moveLineUp: command('moveLineUp'),
     moveLineDown: command('moveLineDown'),
+    moveStatementUp: command('moveStatementUp'),
+    moveStatementDown: command('moveStatementDown'),
     toggleLineComment: command('toggleLineComment'),
     toggleBlockComment: command('toggleBlockComment'),
     joinLines: command('joinLines'),
     startNewLine: command('startNewLine'),
+    completeCurrentStatement: command('completeCurrentStatement'),
+    hippieCompletion: command('hippieCompletion'),
+    hippieBackwardCompletion: command('hippieBackwardCompletion'),
     startNewLineBefore: command('startNewLineBefore'),
     splitLine: command('splitLine'),
     toggleCase: command('toggleCase'),
     autoIndentLines: command('autoIndentLines'),
+    sortLines: command('sortLines'),
+    reverseLines: command('reverseLines'),
+    uniqueLines: command('uniqueLines'),
+    convertIndentsToSpaces: command('convertIndentsToSpaces'),
+    convertIndentsToTabs: command('convertIndentsToTabs'),
     expandSelection: command('expandSelection'),
     shrinkSelection: command('shrinkSelection'),
     matchBrace: { type: 'bracket' },
+    methodUp: view('methodUp'),
+    methodDown: view('methodDown'),
+    pasteAsPlainText: view('pasteAsPlainText'),
+    nextChange: view('nextChange'),
+    previousChange: view('previousChange'),
+    codeBlockStart: command('codeBlockStart'),
+    codeBlockEnd: command('codeBlockEnd'),
+    codeBlockStartWithSelection: command('codeBlockStartWithSelection'),
+    codeBlockEndWithSelection: command('codeBlockEndWithSelection'),
     selectNextOccurrence: command('selectNextOccurrence'),
     unselectOccurrence: command('unselectOccurrence'),
     selectAllOccurrences: command('selectAllOccurrences'),
@@ -87,7 +106,10 @@ const ACTIONS: Partial<Record<KeymapId, KeyAction>> = {
     expandAllToLevel3: view('expandAllToLevel3'),
     expandAllToLevel4: view('expandAllToLevel4'),
     expandAllToLevel5: view('expandAllToLevel5'),
-    toggleColumnMode: view('toggleColumnMode')
+    toggleColumnMode: view('toggleColumnMode'),
+    increaseFontSize: view('increaseFontSize'),
+    decreaseFontSize: view('decreaseFontSize'),
+    resetFontSize: view('resetFontSize')
 };
 
 const PUNCTUATION_CODES: Readonly<Record<string, string>> = {

package/src/layout.ts

@@ -57,8 +57,13 @@ export interface Inlay {
     composition?: boolean;
     /* A suggestion the host drew after the caret: text in the code face with no padding, which the caret stays in front of. */
     ghost?: boolean;
+    /* A square of this CSS color in place of the text, such as the color a literal in the code stands for. */
+    swatch?: string;
 }
 
+/* The side of a swatch in pixels, without its gaps. */
+export const SWATCH_SIZE = 12;
+
 /* A row of the host's own DOM above or below a line, as tall as the host makes it. */
 export interface BlockWidget {
     id: string;
@@ -366,10 +371,13 @@ export function scanDenseLine(
             const inlay = lineInlays[nextInlay++]!;
             const shown = visibleBidi(inlay.text);
 
+            const gaps = (inlay.gapLeft ?? 0) + (inlay.gapRight ?? 0);
             const width =
                 inlay.composition || inlay.ghost
                     ? metrics.measureText(shown)
-                    : Math.max(8, metrics.measureInlay(shown) + 12) + (inlay.gapLeft ?? 0) + (inlay.gapRight ?? 0);
+                    : inlay.swatch !== undefined
+                      ? SWATCH_SIZE + gaps
+                      : Math.max(8, metrics.measureInlay(shown) + 12) + gaps;
 
             geometry.inlays.push({ inlay, x, width, subRow: row });
             x += width;

package/src/outline.ts

@@ -215,6 +215,19 @@ export class Outline {
         this.version++;
     }
 
+    /* Where the named blocks of the structure declare their name, in no order: the stops of Method Up and Down. */
+    declarationStops(document: OutlineDocument): number[] {
+        return this.structure.flatMap((entry) => {
+            if (entry.name === undefined) {
+                return [];
+            }
+
+            const header = document.getLine(document.positionAt(entry.from).line);
+
+            return [header.start + Math.max(0, header.text.indexOf(entry.name))];
+        });
+    }
+
     /* Outermost first. Of two blocks that start on one line, only the larger one. */
     blocks(document: OutlineDocument): readonly OutlineBlock[] {
         if (this.cache?.version !== this.version) {

package/src/overview.ts

@@ -1,4 +1,4 @@
-export type OverviewKind = 'added' | 'modified' | 'deleted' | 'find' | 'find-current' | 'occurrence' | 'info' | 'warning' | 'error';
+export type OverviewKind = 'added' | 'modified' | 'deleted' | 'find' | 'find-current' | 'occurrence' | 'todo' | 'info' | 'warning' | 'error';
 
 /* A stretch of the content, in the pixels the content is laid out in. */
 export interface OverviewSpan {

package/src/paint.ts

@@ -186,11 +186,20 @@ export function lineElement(
         }
 
         const span = document.createElement('span');
-        span.className = box.inlay.ghost ? 'se-ghost' : box.inlay.composition ? 'se-composition' : 'se-inlay';
+        span.className = box.inlay.ghost
+            ? 'se-ghost'
+            : box.inlay.composition
+              ? 'se-composition'
+              : box.inlay.swatch !== undefined
+                ? 'se-inlay se-swatch'
+                : 'se-inlay';
         span.dataset.inlayId = box.inlay.id;
         const { parts } = box.inlay;
 
-        if (parts === undefined) {
+        if (box.inlay.swatch !== undefined) {
+            span.style.backgroundColor = box.inlay.swatch;
+            span.setAttribute('aria-label', box.inlay.text);
+        } else if (parts === undefined) {
             span.textContent = visibleBidi(box.inlay.text);
         } else {
             parts.forEach((part, index) => {

package/src/todos.ts

@@ -0,0 +1,111 @@
+import { DEFAULT_TODO_WORDS, type DocumentModel, type TodoMatch } from '@adecore/editor-core';
+import { overlayTokens } from './semantic.ts';
+import type { LineToken } from './types.ts';
+
+const TODO_COLOR = 'var(--editor-todo)';
+const ITALIC = 1;
+/* The marks in the scroll track read the whole document, so they wait for a pause in editing as the folds do. */
+const TODO_DELAY_MS = 300;
+const TODO_LIMIT = 2_000_000;
+const CACHED_LINES = 600;
+
+/* The text is kept with the mark, since the list is only read again after a pause and the offsets may be stale until then. */
+export type TodoMark = TodoMatch & { readonly text: string };
+
+/*
+ * The TODO comments of a view: drawn in their own color over the grammar's on the lines being painted,
+ * and listed for the whole document a moment after the last edit, for the ticks in the scroll track.
+ */
+export class TodoMarks {
+    private readonly model: DocumentModel;
+    private readonly changed: () => void;
+    private words: readonly string[] = DEFAULT_TODO_WORDS;
+    /* Empty until the first `configure`, which reads the document. */
+    private language = '';
+    private revision = -1;
+    private readonly lines = new Map<number, { base: readonly LineToken[] | null; result: readonly LineToken[] | null }>();
+    private timer: ReturnType<typeof setTimeout> | undefined;
+    private all: readonly TodoMark[] = [];
+    /* Counts every new list, so a painter can tell its ticks are stale. */
+    version = 0;
+
+    constructor(model: DocumentModel, changed: () => void) {
+        this.model = model;
+        this.changed = changed;
+    }
+
+    get marks(): readonly TodoMark[] {
+        return this.all;
+    }
+
+    configure(language: string | undefined, words: readonly string[] | undefined): void {
+        const nextLanguage = language ?? 'plaintext';
+        const nextWords = words ?? DEFAULT_TODO_WORDS;
+
+        if (nextLanguage === this.language && nextWords.join('\n') === this.words.join('\n')) {
+            return;
+        }
+
+        this.language = nextLanguage;
+        this.words = nextWords;
+        this.revision = -1;
+        this.refresh();
+    }
+
+    /* The line's tokens with its TODOs drawn over them, the same array for as long as neither changed. */
+    styled(line: number, base: readonly LineToken[] | null): readonly LineToken[] | null {
+        if (this.words.length === 0) {
+            return base;
+        }
+
+        const revision = this.model.getRevision();
+
+        if (revision !== this.revision || this.lines.size > CACHED_LINES) {
+            this.revision = revision;
+            this.lines.clear();
+        }
+
+        const cached = this.lines.get(line);
+
+        if (cached !== undefined && cached.base === base) {
+            return cached.result;
+        }
+
+        const matches = this.model.findTodos(this.language, { words: this.words }, line, line);
+        let result = base;
+
+        if (matches.length > 0) {
+            const { start, end } = this.model.getLine(line);
+            const spans = matches.map((match) => ({ from: match.from - start, to: match.to - start, color: TODO_COLOR, fontStyle: ITALIC }));
+            result = overlayTokens(base ?? [{ length: end - start, color: '', fontStyle: 0 }], spans);
+        }
+
+        this.lines.set(line, { base, result });
+
+        return result;
+    }
+
+    schedule(): void {
+        clearTimeout(this.timer);
+        this.timer = setTimeout(() => this.refresh(), TODO_DELAY_MS);
+    }
+
+    /* Reads the TODOs of the whole document now, which otherwise waits for a pause in editing. */
+    refresh(): void {
+        clearTimeout(this.timer);
+        const found = this.words.length === 0 || this.model.getLength() > TODO_LIMIT ? [] : this.model.findTodos(this.language, { words: this.words });
+        const next = found.map((match) => ({ ...match, text: this.model.slice(match.from, match.to) }));
+
+        if (next.length === 0 && this.all.length === 0) {
+            return;
+        }
+
+        this.all = next;
+        this.version++;
+        this.changed();
+    }
+
+    dispose(): void {
+        clearTimeout(this.timer);
+    }
+}