From 6e15b5c20603eb08d190e36d8eb468a86fa2eeaf Mon Sep 17 00:00:00 2001
From: JannisDommer <jannis.dommer@uni-ulm.de>
Date: Wed, 3 Jan 2024 17:41:08 +0100
Subject: [PATCH] style(dropdown): update styling to be less obtrusive

---
 WebSocketClient/index.html               |  1 +
 WebSocketClient/src/ImportExportFiles.ts |  1 -
 WebSocketClient/src/main.ts              |  3 ++-
 WebSocketClient/style/dropdown.css       | 18 ++++++++++++------
 4 files changed, 15 insertions(+), 8 deletions(-)

diff --git a/WebSocketClient/index.html b/WebSocketClient/index.html
index a7b2298..a7d0029 100644
--- a/WebSocketClient/index.html
+++ b/WebSocketClient/index.html
@@ -27,6 +27,7 @@ <h1>UVL Playground</h1>
 </div>
 <div class="dropdown">
     <div class="dropdown-wrapper">
+        <span>Select an Example</span>
         <button class="dropbtn">›</button>
         <div class="dropdown-content">
             <button id="defaultExample">Default</button>
diff --git a/WebSocketClient/src/ImportExportFiles.ts b/WebSocketClient/src/ImportExportFiles.ts
index 2e5d1e6..cefa126 100644
--- a/WebSocketClient/src/ImportExportFiles.ts
+++ b/WebSocketClient/src/ImportExportFiles.ts
@@ -27,7 +27,6 @@ export function uploadFile(): Promise<string> {
         uploadInput.click();
         return new Promise<string>((resolve, reject) => {
             uploadInput.onchange = () => {
-                console.log("onchange");
                 if(!uploadInput.files){
                     reject();
                     return;
diff --git a/WebSocketClient/src/main.ts b/WebSocketClient/src/main.ts
index 1cbc8bd..8882247 100644
--- a/WebSocketClient/src/main.ts
+++ b/WebSocketClient/src/main.ts
@@ -137,7 +137,7 @@ const createLanguageClient = (transports: MessageTransports): MonacoLanguageClie
             if (opsModel) {
                 const fullModelRange = opsModel.getFullModelRange();
                 const operation: IIdentifiedSingleEditOperation = {text: textContent, range: fullModelRange};
-                opsModel.applyEdits([operation], false);
+                opsModel.applyEdits([operation], true);
             }
         })
     });
@@ -267,6 +267,7 @@ export const startUvlClient = async () => {
         model: modelRef.object.textEditorModel, automaticLayout: true
     });
 
+    // Needs to be redone at some point as undo does not always work
     editor.onDidChangeModelContent(() => {
         const model = editor.getModel();
         if (!model) {
diff --git a/WebSocketClient/style/dropdown.css b/WebSocketClient/style/dropdown.css
index db743fc..283c9e9 100644
--- a/WebSocketClient/style/dropdown.css
+++ b/WebSocketClient/style/dropdown.css
@@ -1,30 +1,36 @@
 .dropbtn {
     background-color: #1e1e1e;
-    width: 25%;
     color: white;
     font-size: 32px;
     border: none;
     padding: 0;
     margin: 0;
-    text-align: center;
+    text-align: right;
     writing-mode: vertical-lr;
 }
 
 /* The container <div> - needed to position the dropdown content */
 .dropdown {
-    text-align: center;
+    text-align: right;
     width: 100%;
 }
 
+.dropdown-wrapper {
+    padding: 0 20px 5px;
+    span {
+        color: white;
+    }
+}
+
 /* Dropdown Content (Hidden by Default) */
 .dropdown-content {
     display: none;
     position: absolute;
     background-color: #1e1e1e;
-    width: 100%;
     box-shadow: 0 16px 32px 0 rgba(0,0,0,0.5);
+    justify-content: right;
     z-index: 100;
-    justify-content: center;
+    right: 10px;
 }
 
 /* Links inside the dropdown */
@@ -42,5 +48,5 @@
 
 /* Show the dropdown menu on hover */
 .dropdown-wrapper:hover .dropdown-content {
-    display: flex;
+    display: block;
 }
\ No newline at end of file