BoxDo Terminal 0.1.8

Typing fixes across the board, a new terminal font, and updates that finish by themselves.

Updating from 0.1.7? This one still needs a manual restart — the copy installing it is the old updater. From 0.1.8 on, an update restarts the app on its own.

Fixed

• The in-app update stopped at "Restarting…" and never restarted. Two causes, both fixed: the system refused to quit the app while the update panel was still on screen, and the installer's relaunch quietly did nothing while the old copy was still running. The update now closes the panel, waits for the old process to exit, swaps in the new version with a backup it can roll back to, and launches it for you.
• A typed accent could land on the wrong letter. An accent mark could drift off its own letter and onto another one, because agents redraw the screen a cell at a time while streaming. Everything arriving from the keyboard, an input method, or dictation is now normalized at a single point on the way in — and text inserted as styled runs, which used to be dropped in silence, now goes through too.
• Some agents received a different letter than the one you typed. Depending on the keyboard protocol an agent negotiates, a composed key arrived keyed to its base character: typing é sent è, dead-key accents were lost entirely, and in one mode even capital letters wouldn't type. Only that genuinely broken combination is worked around, so agents that negotiate the protocol correctly are left untouched.

New

• Hack is the terminal font now, at 13pt, with visibly more ink on accented characters than the previous default. If you had already picked a size, yours is kept — and the size stays adjustable in Settings → General, applied to newly opened terminals.