overmind-devtools
Version:
Overmind devtool
38 lines (33 loc) • 1.48 kB
HTML
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width,initial-scale=1"/><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><script defer="defer" src="bundle.js"></script></head><body></body></html>