Replaces the hardcoded server list with data from the settings store.
The Add Server modal now saves entries with all fields wired to signals.
An Edit Server modal pre-populates from the existing entry and includes
a delete button. The connect button on each card initiates connection
using that server's configured address, port, and username.
In overrides mode (any_server=false), displays a single non-editable
server card with an inline username input field, allowing the user to
set their identity before connecting to the preset server.
Adds CSS for the delete button, override username row, connect button
highlight, and ping info placeholder.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Builder
b20ed1ff56
