chiark / gitweb /
Implement a proper TUI Error Log.
authorSimon Tatham <anakin@pobox.com>
Sat, 27 Jan 2024 09:12:14 +0000 (09:12 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 27 Jan 2024 11:40:11 +0000 (11:40 +0000)
commit29d51d5a5cab41e4428068291f56e73d6b4df2bc
tree5501f4f8c652966021c493e13254a8244ea68f6f
parent846a6f8b425669c49db46d57b421fca9de892920
Implement a proper TUI Error Log.

At last! Now, most errors received from the server will go into a log
that doesn't interrupt and terminate the TUI, and you can at least try
to recover from them and do something else instead.

There's undoubtedly still work to be done in making the errors more
useful, but this is a start. I've left some thoughts in TODO.md.
TODO.md
src/activity_stack.rs
src/client.rs
src/file.rs
src/tui.rs