chiark / gitweb /
Allow error reporting as a PhysicalAction.
authorSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 11:09:46 +0000 (11:09 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 11:09:46 +0000 (11:09 +0000)
commitb3636b92f708176916c3ab3cddba25d10d7102b9
treeb9e1bbc859cb2cb0158c34c2bc9894136c27541a
parent9f44652b97a5053772f46906e331bc8e798660d0
Allow error reporting as a PhysicalAction.

Could easily come in useful!
src/tui.rs