Skip to content

Commit a20288c

Browse files
committed
Built static site
Signed-off-by: Dimitris Kolovos <dimitris.kolovos@york.ac.uk>
1 parent ff03758 commit a20288c

File tree

470 files changed

+41611
-364
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

470 files changed

+41611
-364
lines changed

playground/backend.json

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
{"name": "RunEpsilonFunction", "url": "https://uk-ac-york-cs-epsilon-playground.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com/epsilon"},
44
{"name": "FlexmiToPlantUMLFunction", "url": "https://uk-ac-york-cs-epsilon-playground.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com/flexmi2plantuml"},
55
{"name": "EmfaticToPlantUMLFunction", "url": "https://uk-ac-york-cs-epsilon-playground.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com/emfatic2plantuml"},
6-
{"name": "ShortURLFunction", "url": "https://l4p4ni4wo4lqtxk4qfedsapbtm0olxqn.lambda-url.eu-west-1.on.aws/"}
6+
{"name": "ShortURLFunction", "url": "https://l4p4ni4wo4lqtxk4qfedsapbtm0olxqn.lambda-url.eu-west-1.on.aws/"},
7+
{"name": "Yjs", "url":"wss://uk-ac-york-cs-epsilon-yjs.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com/ws/", "public": "wss://demos.yjs.dev/ws"},
8+
{"name": "Kroki", "url": "https://uk-ac-york-cs-epsilon-kroki.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com"}
79
]
810
}

playground/backend.local.json

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
{"name": "RunEpsilonFunction", "url": "http://localhost:8080/epsilon"},
44
{"name": "FlexmiToPlantUMLFunction", "url": "http://localhost:8080/flexmi2plantuml"},
55
{"name": "EmfaticToPlantUMLFunction", "url": "http://localhost:8080/emfatic2plantuml"},
6-
{"name": "ShortURLFunction", "url": "http://localhost:8080/shorturl"}
6+
{"name": "ShortURLFunction", "url": "http://localhost:8080/shorturl"},
7+
{"name": "Yjs", "url": "ws://localhost:1234", "alternative": "wss://demos.yjs.dev/ws"},
8+
{"name": "Kroki", "url": "https://uk-ac-york-cs-epsilon-kroki.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com"}
79
]
810
}

playground/css/custom.css

Lines changed: 15 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -180,6 +180,10 @@
180180
content: url("../images/maximise.png");
181181
}
182182

183+
.mif-liveshare::before {
184+
content: url("../images/liveshare.png");
185+
}
186+
183187
.active-toggle .icon .mif-folder::before {
184188
content: url("../images/open-folder.png");
185189
}
@@ -226,16 +230,6 @@ body {
226230
display:none;
227231
}
228232

229-
.ace_gutter {
230-
background-color: white !important;
231-
border-right: 1px solid rgb(215,215,215) !important;
232-
z-index: 0;
233-
}
234-
235-
.ace_gutter-active-line {
236-
background-color: white !important;
237-
}
238-
239233
#preloader {
240234
position: fixed;
241235
height: 100%;
@@ -308,3 +302,14 @@ body {
308302
text-align:center;
309303
color: rgb(205, 53, 44);
310304
}
305+
306+
#liveShareStatus {
307+
background-color1: #63BCE9;
308+
background-color: #62A92F;
309+
color: white;
310+
display: none;
311+
}
312+
313+
#preloader-message {
314+
padding: 10px;
315+
}

playground/dist/1065.bundle.js

Lines changed: 3 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
/*!-----------------------------------------------------------------------------
2+
* Copyright (c) Microsoft Corporation. All rights reserved.
3+
* Version: 0.52.2(404545bded1df6ffa41ea0af4e8ddb219018c6c1)
4+
* Released under the MIT license
5+
* https://github.com/microsoft/monaco-editor/blob/main/LICENSE.txt
6+
*-----------------------------------------------------------------------------*/

playground/dist/1065.bundle.js.map

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)