Unverified Commit c76b48ef authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Fix diagram visualization bug in Windows

parent b33d9929
Pipeline #154 passed with stage
in 29 seconds
{
"name": "verifpal",
"version": "1.0.0",
"version": "1.0.1",
"lockfileVersion": 1,
"requires": true,
"dependencies": {
......
......@@ -16,9 +16,9 @@ export default class DiagramProvider {
static renderDiagram(fileName: string, fileContents: string, extensionPath: string) {
this.diagramActive = true;
let modelName = path.basename(fileName);
let diagramHtml = fs.readFileSync(vscode.Uri.file(
let diagramHtml = fs.readFileSync(
path.join(extensionPath, "res", "diagram.html")
).path).toString();
).toString();
VerifpalLib.getPrettyDiagram(fileContents).then((result: string) => {
let ep1 = this.webviewPanel.webview.asWebviewUri(vscode.Uri.file(
path.join(extensionPath, "res", "webfont.js")
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment