changelog
- Sun, 12 Nov 2017 12:03:50 +0100
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sun, 12 Nov 2017 12:03:50 +0100] rev 145
- adds spinner widget (GTK)
- Sat, 11 Nov 2017 12:22:16 +0100
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sat, 11 Nov 2017 12:22:16 +0100] rev 144
- UiInteger uses int64 now