diff --git a/demo/dockerfiles/demo-theia-docker/project/web/src/contentgenerator.ts b/demo/dockerfiles/demo-theia-docker/project/web/src/contentgenerator.ts
index da020ba9..87c29760 100644
--- a/demo/dockerfiles/demo-theia-docker/project/web/src/contentgenerator.ts
+++ b/demo/dockerfiles/demo-theia-docker/project/web/src/contentgenerator.ts
@@ -1,15 +1,23 @@
interface Config {
- name: string;
- time: Date;
+ name: string;
+ time: Date;
}
function generateContents(config: Config) {
- return "Hello " + config.name + "! It's " + config.time.getHours() + " o\'clock and " + config.time.getMinutes() + " minutes."
+ return (
+ "Hello " +
+ config.name +
+ "! It's " +
+ config.time.getHours() +
+ " o'clock and " +
+ config.time.getMinutes() +
+ " minutes."
+ );
}
var config: Config = {
- name: "Sasha",
- time: new Date(),
-}
+ name: "Sasha",
+ time: new Date(),
+};
document.body.innerHTML = generateContents(config);
diff --git a/demo/dockerfiles/demo-theia-docker/project/web/src/index.html b/demo/dockerfiles/demo-theia-docker/project/web/src/index.html
index 4f7938f0..ea996bdd 100644
--- a/demo/dockerfiles/demo-theia-docker/project/web/src/index.html
+++ b/demo/dockerfiles/demo-theia-docker/project/web/src/index.html
@@ -1,14 +1,13 @@
-
-
+
+
Theia Cloud
-
-
+
+
-
+
diff --git a/demo/dockerfiles/demo-theia-docker/project/web/src/styles.css b/demo/dockerfiles/demo-theia-docker/project/web/src/styles.css
index 552a514e..1ffaa593 100644
--- a/demo/dockerfiles/demo-theia-docker/project/web/src/styles.css
+++ b/demo/dockerfiles/demo-theia-docker/project/web/src/styles.css
@@ -1,11 +1,16 @@
body {
- background: rgb(255,218,218);
- background: linear-gradient(90deg, rgba(255,218,218,1) 0%, rgba(255,218,218,1) 3%, rgba(215,248,255,1) 100%);
+ background: rgb(255, 218, 218);
+ background: linear-gradient(
+ 90deg,
+ rgba(255, 218, 218, 1) 0%,
+ rgba(255, 218, 218, 1) 3%,
+ rgba(215, 248, 255, 1) 100%
+ );
}
html {
- font-family: Arial, Helvetica, sans-serif;
- text-align: center;
- font-size: large;
- color:darkslategray;
-}
\ No newline at end of file
+ font-family: Arial, Helvetica, sans-serif;
+ text-align: center;
+ font-size: large;
+ color: darkslategray;
+}
diff --git a/demo/dockerfiles/demo-theia-docker/project/web/src/updatecontents.js b/demo/dockerfiles/demo-theia-docker/project/web/src/updatecontents.js
index 7d4d2b96..78817640 100644
--- a/demo/dockerfiles/demo-theia-docker/project/web/src/updatecontents.js
+++ b/demo/dockerfiles/demo-theia-docker/project/web/src/updatecontents.js
@@ -1 +1,3 @@
-setTimeout(function () { document.body.innerHTML = "Bye bye!"; }, 10000);
+setTimeout(function () {
+ document.body.innerHTML = "Bye bye!";
+}, 10000);
diff --git a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/contentgenerator.ts b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/contentgenerator.ts
index da020ba9..87c29760 100644
--- a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/contentgenerator.ts
+++ b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/contentgenerator.ts
@@ -1,15 +1,23 @@
interface Config {
- name: string;
- time: Date;
+ name: string;
+ time: Date;
}
function generateContents(config: Config) {
- return "Hello " + config.name + "! It's " + config.time.getHours() + " o\'clock and " + config.time.getMinutes() + " minutes."
+ return (
+ "Hello " +
+ config.name +
+ "! It's " +
+ config.time.getHours() +
+ " o'clock and " +
+ config.time.getMinutes() +
+ " minutes."
+ );
}
var config: Config = {
- name: "Sasha",
- time: new Date(),
-}
+ name: "Sasha",
+ time: new Date(),
+};
document.body.innerHTML = generateContents(config);
diff --git a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/index.html b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/index.html
index 4f7938f0..ea996bdd 100644
--- a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/index.html
+++ b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/index.html
@@ -1,14 +1,13 @@
-
-
+
+
Theia Cloud
-
-
+
+
-
+
diff --git a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/styles.css b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/styles.css
index 552a514e..1ffaa593 100644
--- a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/styles.css
+++ b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/styles.css
@@ -1,11 +1,16 @@
body {
- background: rgb(255,218,218);
- background: linear-gradient(90deg, rgba(255,218,218,1) 0%, rgba(255,218,218,1) 3%, rgba(215,248,255,1) 100%);
+ background: rgb(255, 218, 218);
+ background: linear-gradient(
+ 90deg,
+ rgba(255, 218, 218, 1) 0%,
+ rgba(255, 218, 218, 1) 3%,
+ rgba(215, 248, 255, 1) 100%
+ );
}
html {
- font-family: Arial, Helvetica, sans-serif;
- text-align: center;
- font-size: large;
- color:darkslategray;
-}
\ No newline at end of file
+ font-family: Arial, Helvetica, sans-serif;
+ text-align: center;
+ font-size: large;
+ color: darkslategray;
+}
diff --git a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/updatecontents.js b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/updatecontents.js
index 7d4d2b96..78817640 100644
--- a/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/updatecontents.js
+++ b/demo/dockerfiles/demo-theia-monitor-vscode/project/web/src/updatecontents.js
@@ -1 +1,3 @@
-setTimeout(function () { document.body.innerHTML = "Bye bye!"; }, 10000);
+setTimeout(function () {
+ document.body.innerHTML = "Bye bye!";
+}, 10000);
diff --git a/java/service/org.eclipse.theia.cloud.service/src/main/resources/META-INF/resources/index.html b/java/service/org.eclipse.theia.cloud.service/src/main/resources/META-INF/resources/index.html
index 025a81b5..cda9367e 100644
--- a/java/service/org.eclipse.theia.cloud.service/src/main/resources/META-INF/resources/index.html
+++ b/java/service/org.eclipse.theia.cloud.service/src/main/resources/META-INF/resources/index.html
@@ -1,310 +1,442 @@
-
-
+
+
service - 1.0.0-SNAPSHOT
-
-
-
-
-