src/Tools/VSCode/extension/src/extension.ts
changeset 65958 6338355b2a88
parent 65233 e37209c0a42a
child 65968 44e703278dfd
equal deleted inserted replaced
65956:639eb3617a86 65958:6338355b2a88
     3 import * as vscode from 'vscode';
     3 import * as vscode from 'vscode';
     4 import * as path from 'path';
     4 import * as path from 'path';
     5 import * as fs from 'fs';
     5 import * as fs from 'fs';
     6 import * as os from 'os';
     6 import * as os from 'os';
     7 import * as decorations from './decorations';
     7 import * as decorations from './decorations';
       
     8 import * as preview from './preview';
     8 import * as protocol from './protocol';
     9 import * as protocol from './protocol';
     9 import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind, NotificationType }
    10 import { LanguageClient, LanguageClientOptions, SettingMonitor, ServerOptions, TransportKind, NotificationType }
    10   from 'vscode-languageclient';
    11   from 'vscode-languageclient';
    11 
    12 
    12 
    13 
   104       vscode.window.onDidChangeTextEditorSelection(_ => update_caret())
   105       vscode.window.onDidChangeTextEditorSelection(_ => update_caret())
   105       update_caret()
   106       update_caret()
   106     })
   107     })
   107 
   108 
   108 
   109 
       
   110     /* preview */
       
   111 
       
   112     preview.init(context)
       
   113 
       
   114 
   109     /* start server */
   115     /* start server */
   110 
   116 
   111     context.subscriptions.push(client.start());
   117     context.subscriptions.push(client.start());
   112   }
   118   }
   113 }
   119 }