[HtmlCoqView] Fix paths to html_views

coq-community · Jan 30, 2020 · 63eb4cf · 63eb4cf
1 parent 9b20bde
commit 63eb4cf
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/client/src/HtmlCoqView.ts b/client/src/HtmlCoqView.ts
@@ -41,7 +41,7 @@ type ProofViewProtocol = GoalUpdate | SettingsUpdate;
 const VIEW_PATH = 'html_views';
 
 function proofViewFile(file: string = "") {
-  return vscode.Uri.file(extensionContext.asAbsolutePath(path.join('client', VIEW_PATH,'goals',file)));
+  return vscode.Uri.file(extensionContext.asAbsolutePath(path.join('out', VIEW_PATH, file)));
 }
 
 function proofViewHtmlPath() {
@@ -123,16 +123,16 @@ export class HtmlCoqView implements view.CoqView {
           viewColumn: pane,
         },
         {enableScripts: true,
-          localResourceRoots: [vscode.Uri.file(path.join(extensionContext.extensionPath, 'client', VIEW_PATH))]
+          localResourceRoots: [vscode.Uri.file(path.join(extensionContext.extensionPath, 'out', VIEW_PATH))]
         }
       );
 
       let doc = await vscode.workspace.openTextDocument(this.coqViewUri);
 
-      let csspath = path.join(extensionContext.extensionPath,  'client', VIEW_PATH,'goals', 'proof-view.css');
+      let csspath = path.join(extensionContext.extensionPath,  'out', VIEW_PATH, 'proof-view.css');
       let csspasthAsVscodeResource = vscode.Uri.file(csspath).with({ scheme: 'vscode-resource' });
 
-      let jspath = path.join(extensionContext.extensionPath, 'client', VIEW_PATH, 'goals', 'goals.js');
+      let jspath = path.join(extensionContext.extensionPath, 'out', VIEW_PATH, 'goals.js');
       let jspathAsVscodeResource = vscode.Uri.file(jspath).with({ scheme: 'vscode-resource' });
 
       this.panel.webview.html = mustache.render(doc.getText(), {
@@ -181,4 +181,4 @@ export class HtmlCoqView implements view.CoqView {
     await this.sendMessage(Object.assign<SettingsState,{command: 'settings-update'}>(this.currentSettings,{command: 'settings-update'}));
   }
 
-}
+}