feat: config view in Iframe

SoftVarE-Group · Nov 17, 2023 · 8d4e549 · 8d4e549
1 parent 53e9d2f
commit 8d4e549
Show file tree

Hide file tree

Showing 2 changed files with 38 additions and 0 deletions.
diff --git a/WebSocketClient/index.html b/WebSocketClient/index.html
@@ -5,6 +5,24 @@
         <meta name="viewport" content="width=device-width, initial-scale=1.0"/>
         <link rel="stylesheet" href="style.css">
         <title>UVL Playground</title>
+        <style>
+            #iframeContainer {
+              height: 1000px;
+              width: '100%';
+              display: none;
+            }
+
+            iframe {
+              height: 100%;
+              width: 100%;
+              border: none; /* Remove iframe border */
+            }
+
+            #embeddedContentContainer {
+      height: 1000px;
+      width: 10000px;
+    }
+          </style>
     </head>
     <body>
     <div class="header">
@@ -17,6 +35,10 @@ <h1>UVL Playground</h1>
         </div>
         <div class="graph"></div>
     </div>
+    <div id="iframeContainer" class="config-view">
+        <iframe id="myIframe" title="Config"></iframe> 
+    </div>
+
     <div class="footer">
         <p>The Universal Variability Language (UVL) is a community effort towards a widely adopted textual specification
             for feature models. This playground provides the opportunity to get used to the language with

diff --git a/WebSocketClient/src/main.ts b/WebSocketClient/src/main.ts
@@ -84,6 +84,22 @@ const createLanguageClient = (transports: MessageTransports): MonacoLanguageClie
                     handleMessage(message: Message, next: (message: Message) => void) {
                         if(Message.isRequest(message)){
                             console.log("Sending Request");
+                            const m: any = message;
+                            if(m.method === 'workspace/executeCommand' && m.params.command === 'uvls.open_web'){
+                                const configUri: string = m.params.arguments[0].uri;
+                                const url = new URL(configUri);
+                                let protocoll = 'http';
+                                if (window.location.protocol === "https:") {
+                                    protocoll = 'https';
+                                 }
+                                 console.log(window.location.protocol);
+                                const newUrl: string = `${protocoll}://${config.languageServerHostName}${url.pathname}?port=${url.port}`;
+                                console.log(newUrl);
+                                const iframeContainer: any = document.getElementById('iframeContainer');
+                                const myIframe: any = document.getElementById('myIframe');
+                                    iframeContainer.style.display = 'block';
+                                    myIframe.src = newUrl;
+                            }
                         }
                         if(Message.isResponse(message)){
                             console.log("Receiving Response");