diff --git a/lib/devtools.js b/lib/devtools.js index 252a84f..58ddfd3 100644 --- a/lib/devtools.js +++ b/lib/devtools.js @@ -24,6 +24,13 @@ customElements.define('developer-tooling', class extends HTMLElement { color: red; } + #server-message:hover #change-port-show { + display: inline-block; + } + #change-port-show { + display: none; + } + .hidden { display: none; }