Hello Minecraft Team,
I just want to submit this report. i cant re-type the port in add server, i found a new server and i want to play it. but the port isn't the regular, the port is 22678 and i cannot re-type the port.
i hope you'll fix this bug or a change.

sorry if there's a mistake.