4 commits

Author	SHA1	Message	Date
Joscha	2f60b0390e	Use widgets for List rows instead of Styleds	2022-07-12 21:55:29 +02:00
Joscha	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
Joscha	dea0384162	Use List widget for nick list	2022-07-12 19:29:50 +02:00
Joscha	82049aedc0	Add List widget	2022-07-12 19:29:50 +02:00