|
|
5eeabea2de
|
Add todos
|
2022-08-30 17:17:11 +02:00 |
|
|
|
6dc7d2bd0b
|
Placate clippy
|
2022-08-17 23:06:49 +02:00 |
|
|
|
f3b804347d
|
Make room list behave more like chat
Accomplished by adding the same cursor movement and scrolling key
bindings, as well as moving the cursor so it is visible when scrolling.
|
2022-08-01 01:42:58 +02:00 |
|
|
|
709ab07442
|
Make List widget naming more consistent
|
2022-07-23 19:50:49 +02:00 |
|
|
|
3e6b214e81
|
Add BoxedWidget type alias
|
2022-07-20 22:42:40 +02:00 |
|
|
|
ee7316f65b
|
Fix rendering of scrolled lists
|
2022-07-14 14:05:27 +02:00 |
|
|
|
9aed0a3cee
|
Use frame stack instead of explicit pos and size parameters
|
2022-07-13 11:34:52 +02:00 |
|
|
|
44470b973d
|
Remove unused function
|
2022-07-12 21:55:29 +02:00 |
|
|
|
2f60b0390e
|
Use widgets for List rows instead of Styleds
|
2022-07-12 21:55:29 +02:00 |
|
|
|
8eda1ad97d
|
Box widgets
This way, widgets containing other widgets can be heterogenous. Wenever
a widget is expeted, *any* widget will work.
|
2022-07-12 21:10:03 +02:00 |
|
|
|
dea0384162
|
Use List widget for nick list
|
2022-07-12 19:29:50 +02:00 |
|
|
|
82049aedc0
|
Add List widget
|
2022-07-12 19:29:50 +02:00 |
|
