Focus the active profile in the Select User list #15

Merged
justinzeus merged 1 commit from fm/wolfskin-7-profile-focus into main 2026-10-22 15:11:46 +02:00

1 commit

Author SHA1 Message Date
344aa9990d Focus the active profile in the user selector
All checks were successful
review/firstmate Diff byte-identical to Justin's upstream commit f816ef03 (Wholphin#2003); worker ran make test + apk-debug green
2026-10-22 14:46:05 +02:00