chiark / gitweb /
Reduce some of the unused-stuff warnings.
authorSimon Tatham <anakin@pobox.com>
Thu, 28 Dec 2023 11:38:42 +0000 (11:38 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 28 Dec 2023 11:38:42 +0000 (11:38 +0000)
commitc808dd710d241e5f9c5a6100719adf53a5041937
tree5ac0e508775d4bdfb4a5914b35815e86977f1f70
parent0d428ad0f44c91d11c986c15084c6a352fc7335e
Reduce some of the unused-stuff warnings.

Perhaps I should turn all these warnings off until I've actually used
all the unused stuff? I'm sure they're very useful once your program
is supposed to be finished, but while it's still only half-written,
yes I _know_ I haven't got round to using all these fields yet.
src/tui.rs