c2e2ee52e8
Add Border widget
2022-07-21 15:21:49 +02:00
3e6b214e81
Add BoxedWidget type alias
2022-07-20 22:42:40 +02:00
54ed495491
Add HJoin and VJoin widgets
2022-07-20 22:05:15 +02:00
32f1ad5aae
Add basic HRule and VRule widgets
2022-07-20 22:05:15 +02:00
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
