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
18ea4ecd
Unverified
Commit
18ea4ecd
authored
Apr 28, 2020
by
Nadim Kobeissi
💾
Browse files
Accommodate Diagram colors to VSCode theme
parent
bacfb1ff
Pipeline
#178
passed with stage
in 26 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
res/diagram.html
View file @
18ea4ecd
...
...
@@ -8,38 +8,62 @@
<script
src=
"$$EXTPATH2$$"
></script>
<script
src=
"$$EXTPATH3$$"
></script>
<script
src=
"$$EXTPATH4$$"
></script>
<script
src=
"$$EXTPATH5$$"
></script>
<style
type=
"text/css"
>
body
{
padding
:
10px
;
background-color
:
var
(
--vscode-editor-background
);
}
div
#header
{
}
img
#icon
{
float
:
left
;
width
:
50px
;
height
:
auto
;
border-radius
:
5px
;
}
h2
{
float
:
left
;
margin-left
:
20px
;
}
span
#diagramText
{
display
:
none
;
}
div
#diagram
{
margin
:
0
auto
;
width
:
80%
;
}
.title
rect
,
.title
path
{
fill
:
var
(
--vscode-editor-findMatchBackground
);
stroke
:
var
(
--vscode-editor-findMatchBorder
);
}
.title
text
{
fill
:
var
(
--vscode-editor-foreground
);
}
line
,
#markerArrowBlock
{
stroke
:
var
(
--vscode-editor-foreground
);
fill
:
var
(
--vscode-editor-foreground
);
}
.actor
rect
,
.actor
path
{
fill
:
var
(
--vscode-editor-foreground
);
stroke
:
var
(
--vscode-editor-foreground
);
}
.actor
text
{
fill
:
var
(
--vscode-editor-background
);
}
.note
rect
,
.note
path
{
fill
:
var
(
--vscode-editor-selectionHighlightBackground
);
stroke
:
var
(
--vscode-editor-foreground
);
}
.note
text
,
.signal
text
{
fill
:
var
(
--vscode-editor-foreground
);
}
</style>
</head>
<body>
<!--
<div id="header">
<img id="icon" src="$$ICON$$" alt="" />
</div>
-->
<span
id=
"diagramText"
>
Title:$$MODELNAME$$
$$DIAGRAM$$
...
...
src/DiagramProvider.ts
View file @
18ea4ecd
...
...
@@ -32,14 +32,10 @@ export default class DiagramProvider {
let
ep4
=
this
.
webviewPanel
.
webview
.
asWebviewUri
(
vscode
.
Uri
.
file
(
path
.
join
(
extensionPath
,
"
res
"
,
"
sequence-diagram-min.js
"
)
));
let
icon
=
this
.
webviewPanel
.
webview
.
asWebviewUri
(
vscode
.
Uri
.
file
(
path
.
join
(
extensionPath
,
"
res
"
,
"
icon.png
"
)
));
diagramHtml
=
diagramHtml
.
replace
(
"
$$EXTPATH1$$
"
,
ep1
);
diagramHtml
=
diagramHtml
.
replace
(
"
$$EXTPATH2$$
"
,
ep2
);
diagramHtml
=
diagramHtml
.
replace
(
"
$$EXTPATH3$$
"
,
ep3
);
diagramHtml
=
diagramHtml
.
replace
(
"
$$EXTPATH4$$
"
,
ep4
);
diagramHtml
=
diagramHtml
.
replace
(
"
$$ICON$$
"
,
icon
);
diagramHtml
=
diagramHtml
.
replace
(
"
$$MODELNAME$$
"
,
modelName
);
diagramHtml
=
diagramHtml
.
replace
(
"
$$DIAGRAM$$
"
,
result
);
this
.
webviewPanel
.
webview
.
html
=
diagramHtml
;
...
...
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