Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Verifpal
Verifpal for Visual Studio Code
Commits
f602cd79
Unverified
Commit
f602cd79
authored
Apr 27, 2020
by
Nadim Kobeissi
💾
Browse files
Fix lint (published 1.0.4 from local machine)
parent
ac0dc889
Pipeline
#171
passed with stage
in 26 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
src/AnalysisProvider.ts
View file @
f602cd79
...
...
@@ -127,7 +127,7 @@ export default class AnalysisProvider {
}
});
}
}).
catch
((
err
)
=>
{
}).
catch
(()
=>
{
analysisActive
=
false
;
vscode
.
window
.
showErrorMessage
(
"
Verifpal: Your model is invalid and cannot be analyzed or visualized. Check for syntax errors.
"
);
});
...
...
src/DiagramProvider.ts
View file @
f602cd79
...
...
@@ -43,7 +43,7 @@ export default class DiagramProvider {
diagramHtml
=
diagramHtml
.
replace
(
"
$$MODELNAME$$
"
,
modelName
);
diagramHtml
=
diagramHtml
.
replace
(
"
$$DIAGRAM$$
"
,
result
);
this
.
webviewPanel
.
webview
.
html
=
diagramHtml
;
}).
catch
((
err
)
=>
{
}).
catch
(()
=>
{
vscode
.
window
.
showErrorMessage
(
"
Verifpal: Your model is invalid and cannot be analyzed or visualized. Check for syntax errors.
"
);
});
}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment