ee7316f65b
Fix rendering of scrolled lists
2022-07-14 14:05:27 +02:00
9169cbb657
Fix warnings
2022-07-13 15:29:31 +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
204eb95fa5
Add Empty widget
2022-07-12 21:42:21 +02:00
d2c4d2b029
Add Background widget
2022-07-12 21:42:09 +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
0a91f2077d
Update toss
...
The latest toss commit includes a width function that runs directly on a
&Styled. This avoids using &styled.text(), which unnecessarily allocates
a new string. Probably premature optimization, but nicer to use
nontheless.
2022-07-12 19:18:52 +02:00
d3229370f3
Consume widget during rendering
2022-07-12 19:18:52 +02:00
53a0f8d4af
Add Text widget
2022-07-12 09:27:16 +02:00
