log sat_frontends/tools/xmlui.py @ 3533:4b33ed5abd8f

age author description
Fri, 19 Mar 2021 15:45:14 +0100 Goffi date update
Sat, 27 Feb 2021 18:39:25 +0100 Goffi frontends (tools/xmui): implement `ValueGetter.items` and `XMLUIPanel.values` to get a map from widget name to values
Wed, 29 Jan 2020 10:07:00 +0100 Goffi fixed shebangs
Wed, 29 Jan 2020 09:50:54 +0100 Goffi dates update
Wed, 25 Sep 2019 08:56:41 +0200 Goffi jp: jp asyncio port:
Tue, 13 Aug 2019 19:08:41 +0200 Goffi Python 3 port:
Thu, 11 Jul 2019 09:21:10 +0200 Goffi frontends (xmlui): fixed crash when CURRENT_LABEL is None: