chiark / gitweb /
Notify ActivityState mutably when it gets resized.
authorSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 16:10:56 +0000 (16:10 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 29 Dec 2023 18:17:34 +0000 (18:17 +0000)
commit18df92e748695fc5d945e6a998cf2042977c63f5
tree62a5315f47b5eab39ad0ce4ac499fd77273d6330
parent9da0866e91251c5e04225cef56e8adcf065bdb9a
Notify ActivityState mutably when it gets resized.

This should enable it to prepare anything it needs for the next
redraw.
src/tui.rs