chiark / gitweb /
Initial user-options menus.
authorSimon Tatham <anakin@pobox.com>
Fri, 12 Jan 2024 08:04:13 +0000 (08:04 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 12 Jan 2024 18:48:23 +0000 (18:48 +0000)
commit436e640689d36de413e8301da1535dc68a5a8ab0
treeb727ed0b828b4b47bbb3c8a6fd8c6f1df835b117
parentec14cbb32d66496c6508ab7e93acb2b82afadd39
Initial user-options menus.

The one for your own options is currently unimplemented (but it had to
_exist_, because both options menus are launched via the same UI
action, and only the target user id distinguishes the two).

But the one for other users supports following and its suboptions,
blocking, and muting.
TODO.md
src/activity_stack.rs
src/client.rs
src/file.rs
src/lib.rs
src/options.rs [new file with mode: 0644]
src/tui.rs