UNPKG

overmind-devtools-client

Version:
59 lines (53 loc) 1.53 kB
<!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8" /> <meta name="viewport" content="width=device-width, initial-scale=1.0" /> <meta http-equiv="X-UA-Compatible" content="ie=edge" /> <title>Document</title> <link href="https://fonts.googleapis.com/css?family=Source+Code+Pro" rel="stylesheet" /> <link href="https://fonts.googleapis.com/css?family=Nunito:400,700" rel="stylesheet" /> <script> /* THIS CODE IS COPIED FOR DEVELOPMENT PURPOSES, A BIT RISKY, BUT HAVE NO OTHER SOLUTION */ const vscode = window.vscode || (window.acquireVsCodeApi && window.acquireVsCodeApi()) function onPortSubmit(newPort) { if (vscode) { vscode.postMessage({ command: 'newPort', text: newPort, }) } else { const { ipcRenderer } = require('electron') ipcRenderer.send('newPort', newPort) } } function onRestart() { if (vscode) { vscode.postMessage({ command: 'restart', }) } else { const { ipcRenderer } = require('electron') ipcRenderer.send('restart') } } function handleFormSubmit(event) { event.preventDefault() var input = document.querySelector('#port-input') input.setAttribute('disabled', true) console.log(input) onPortSubmit(input.value) } </script> </head> <body></body> </html>