feat(android): edit server entries from in-app settings menu (NESMenu); bump to 0.4.12 (vc16)

The 0.4.11 edit affordance only lived on ServerConnectScreen, which a
connected user never sees. Add edit to NESMenu — the settings modal
reached via two-finger hold while connected: a ✎ pencil on each saved
server opens the form pre-populated (Edit Server header + Cancel),
persists via ServerPreferences.updateSavedServer(), and reconnects when
the edited server is the live one.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
Dorian
2026-06-26 13:08:18 +01:00
co-authored by Claude Opus 4.8
parent 389e602097
commit a90fea80ed
4 changed files with 67 additions and 7 deletions
Binary file not shown.