diff --git a/WebSocketClient/index.html b/WebSocketClient/index.html index be8661d..aff935d 100644 --- a/WebSocketClient/index.html +++ b/WebSocketClient/index.html @@ -5,6 +5,24 @@ UVL Playground +
@@ -17,6 +35,10 @@

UVL Playground

+
+ +
+

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 index 1869628..d71f77e 100644 --- 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");