equal
deleted
inserted
replaced
62 |
62 |
63 /* decorations */ |
63 /* decorations */ |
64 |
64 |
65 decorations.init(context) |
65 decorations.init(context) |
66 vscode.workspace.onDidChangeConfiguration(() => decorations.init(context)) |
66 vscode.workspace.onDidChangeConfiguration(() => decorations.init(context)) |
|
67 vscode.workspace.onDidChangeTextDocument(event => decorations.touch_document(event.document)) |
67 vscode.window.onDidChangeActiveTextEditor(decorations.update_editor) |
68 vscode.window.onDidChangeActiveTextEditor(decorations.update_editor) |
68 vscode.workspace.onDidCloseTextDocument(decorations.close_document) |
69 vscode.workspace.onDidCloseTextDocument(decorations.close_document) |
69 |
70 |
70 client.onReady().then(() => |
71 client.onReady().then(() => |
71 client.onNotification(protocol.decoration_type, decorations.apply_decoration)) |
72 client.onNotification(protocol.decoration_type, decorations.apply_decoration)) |