diff --git a/browser/html/framed.doc.html b/browser/html/framed.doc.html index 650c0929d8..1a65ff9812 100644 --- a/browser/html/framed.doc.html +++ b/browser/html/framed.doc.html @@ -36,13 +36,13 @@ .vbox { display: flex; flex-direction: column; - gap: 1em; + gap: 0.5em; } .hbox { display: flex; flex-direction: row; - gap: 1em; + gap: 0.5em; } .grid { @@ -56,7 +56,12 @@ gap: 15px; grid-gap: 15px; } - + h3 { + margin: 0.2em 0px; + } + pre { + margin: 0px; + } @@ -120,6 +125,12 @@ }); } + function closeSession() { + post({'MessageId': 'Close_Session', + 'Values': null + }); + } + function fullscreenDocument() { post({'MessageId': 'Action_Fullscreen', 'Values': null @@ -265,6 +276,10 @@ if (!msg) { return; } + + let messageOut = document.getElementById("messages"); + messageOut.textContent = messageOut.textContent + JSON.stringify(msg) + "\n"; + if (msg.MessageId == 'App_LoadingStatus') { if (msg.Values) { if (msg.Values.Status == 'Document_Loaded') { @@ -476,7 +491,9 @@
+
+ @@ -506,14 +523,15 @@
-

User State

-
- -
-

State: unknown - Elapsed: 0 sec.

-
-
+ +

User State

+
+ +
+

State: unknown + Elapsed: 0 sec.

+
+
@@ -534,6 +552,13 @@
+
+ +
+
+

Messages from editor

+ +