chiark / gitweb /
More reusable concept of an editable menu line.
authorSimon Tatham <anakin@pobox.com>
Thu, 11 Jan 2024 22:42:41 +0000 (22:42 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 12 Jan 2024 12:52:04 +0000 (12:52 +0000)
commit1e4445650545ae5784766a2858afa8ada0b70ab0
treee017a544ecd2ab2f51bced81165740e0c6c2f41b
parentcd7da63796704843da96b9cdc9f7e14501b0cbfd
More reusable concept of an editable menu line.

This refactors a lot of the code from posting.rs into a type that does
all the work of being switchable between a menu line and a single-line
editor.

No functional change (I hope), but it should make it easier to reuse
in other similar options menus.
src/editor.rs
src/posting.rs
src/text.rs