log sat_frontends/tools/xmlui.py @ 3855:54305ebf5b94

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