Skip to content

feat(mobile): Android terminal improvements — input, selection, sessions, Nerd Font#3775

Merged
juliusmarminge merged 16 commits into
pingdotgg:android-dev-pr-3514from
PixPMusic:android-terminal-improvements
Jul 12, 2026
Merged

feat(mobile): Android terminal improvements — input, selection, sessions, Nerd Font#3775
juliusmarminge merged 16 commits into
pingdotgg:android-dev-pr-3514from
PixPMusic:android-terminal-improvements

Commits

Commits on Jul 9, 2026