Add hideInteractions as well as hideDefinitions

hideInteractions is special: we don't have a good way to show run results
(other than highlighting and gutter marks).

So, as soon as run is clicked, it shows interactions again. But this is useful
for having e.g. many editors open in different extension tabs, or just
embedding a plain editor.

Author: jpolitz

src/web/css/shared.css

@@ -28,13 +28,20 @@ body.hideDefinitions #loader, body.hideDefinitions .replContainer {
   width: 100%;
 }
 
+body.hideDefinitions .replMain, body.hideDefinitions #handle,
+body.hideInteractions .replContainer, body.hideDefinitions #handle {
+  display: none;
+}
+
+body.hideInteractions #loader, body.hideInteractions .replMain {
+  left: -5px;
+  width: 100%;
+}
+
 body.hideFooter #loader {
   bottom: 0px;
 }
 
-body.hideDefinitions .replMain, body.hideDefinitions #handle {
-  display: none;
-}
 
 #help-keys {
   position: fixed;

src/web/editor.html

@@ -49,9 +49,8 @@
         params[parts[0]] = parts[1];
       }
     });
-    if(params["hideDefinitions"]) {
-      document.body.classList.add("hideDefinitions");
-    }
+    if(params["hideDefinitions"]) { document.body.classList.add("hideDefinitions"); }
+    if(params["hideInteractions"]) { document.body.classList.add("hideInteractions"); }
     var footerStyle = params["footerStyle"] || "normal";
     switch (footerStyle) {
     case 'hide':

src/web/js/beforePyret.js

@@ -1439,6 +1439,10 @@ $(function() {
     triggerOnLoad
   };
 
+  // We never want interactions to be hidden *when running code*.
+  // So hideInteractions should go away as soon as run is clicked
+  CPO.events.onRun(() => { document.body.classList.remove("hideInteractions"); });
+
   let initialState = params["get"]["initialState"];
 
   if (typeof acquireVsCodeApi === "function") {