log sat_frontends/tools/xmlui.py @ 3477:9498f32ba6f7

age author description
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