Have min/max ports for change-port field

This commit is contained in:
Tobias Baunbaek
2024-02-02 10:55:03 +01:00
parent 6e24de448b
commit 7977fdab34

View File

@@ -30,6 +30,10 @@ customElements.define('developer-tooling', class extends HTMLElement {
#change-port-show { #change-port-show {
display: none; display: none;
} }
#change-port-input {
width: 80px;
}
/* hide up/down arrow for input type=number */ /* hide up/down arrow for input type=number */
input::-webkit-outer-spin-button, input::-webkit-outer-spin-button,
input::-webkit-inner-spin-button { input::-webkit-inner-spin-button {
@@ -166,7 +170,13 @@ customElements.define('developer-tooling', class extends HTMLElement {
</span> </span>
<div> <div>
<form id="change-port-form" class="hidden"> <form id="change-port-form" class="hidden">
<input id="change-port-input" type="number" placeholder="New port" /> <input
id="change-port-input"
type="number"
placeholder="New port"
min="1024"
max="65535"
/>
</form> </form>
<p id="change-port-error"></p> <p id="change-port-error"></p>
</div> </div>