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


parent ac7adc1a
Pipeline #161 passed with stage
in 25 seconds
......@@ -44,7 +44,7 @@ export function activate(context: vscode.ExtensionContext) {
let fileContents = editor.document.getText();
DiagramProvider.webviewPanel = vscode.window.createWebviewPanel(
"Verifpal Protocon Diagram",
"Verifpal Protocol Diagram",
vscode.ViewColumn.Beside, {
enableScripts: true
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