updated editor box styles

jh-488 · Mar 19, 2024 · 0ee8171 · 0ee8171
1 parent e2a9264
commit 0ee8171
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/index.html b/index.html
@@ -292,8 +292,8 @@
                         Edrys.sendMessage(Edrys.module.config.runCommand, body)
                     }
 
-                    // send the code through socket
-                    if(!socket) {
+                    // send the code through socket if connected
+                    if(!socket || socket.readyState !== WebSocket.OPEN) {
                         displayMessage("Error: No connection to the server");
                     } else {
                         socket.send(body);
@@ -321,9 +321,10 @@
 
             .editor_output {
                 width: 100%;
-                height: 15%;
+                height: 20%;
                 padding: 5px;
                 display: flex;
+                align-items: center;
                 justify-content: space-between;
                 gap: 5px; 
                 position: absolute; 
@@ -336,6 +337,7 @@
             }
 
             #run {
+                height: 50px;
                 background-color: #ececec;
                 color: #0f0f0f;
                 transition: all .3s ease-in;

diff --git a/server/sketch/sketch.ino b/server/sketch/sketch.ino
@@ -28,7 +28,7 @@ void setup() {
 // the loop function runs over and over again forever
 void loop() {
   digitalWrite(LED_BUILTIN, HIGH);   // turn the LED on (HIGH is the voltage level)
-  Serial.println("LED HIGH");
+  Serial.println("LED HIGH")
   delay(1000);                       // wait for a second
   digitalWrite(LED_BUILTIN, LOW);    // turn the LED off by making the voltage LOW
   Serial.println("LED LOW");