chiark / gitweb /
~ian / mastodonochrome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b94a931) | patch
Clean up huge piece of duplicated logic in Tui.
authorSimon Tatham <anakin@pobox.com>
Sun, 7 Jan 2024 08:37:40 +0000 (08:37 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 7 Jan 2024 08:37:40 +0000 (08:37 +0000)
commit8488b749ccfda5a142bf36ed98e262fe1daa5aca
tree374cdc9098c18ca9292ee3be1fc67edf42071919tree | snapshot
parentb94a9316cabe1c3fa43f3249af3fc22e07bd363acommit | diff
Clean up huge piece of duplicated logic in Tui.

Adding the refresh key to it was more than I could bear.
src/tui.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.