Build 25431504

Terminal

• Redesigned: the input line is now part of the terminal's scrollback instead of a separate box below it — just like a real terminal prompt
• Fixed: the input line's clickable area was narrower than it looked — you had to click right at the end of the visible text to type

Bug Fixes

• Server renaming: the input field could snap back to the old name mid-edit due to a background refresh, before you were done typing
• Hacking minigame: the four buttons now each have a fixed symbol (●■▲◆) in addition to color — easier to tell apart for colorblind players