From 9c6036187b0daccb83ca3a454c91cf503c2d1f3e Mon Sep 17 00:00:00 2001
From: Tobias Baunbaek <freeall@gmail.com>
Date: Thu, 1 Feb 2024 14:56:34 +0100
Subject: [PATCH] Hide change input button until hover

---
 lib/devtools.js | 7 +++++++
 1 file changed, 7 insertions(+)

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;
           }