log frontends/src/tools/xmlui.py @ 2387:a59f2abd970e

age author description
Fri, 20 Oct 2017 08:39:58 +0200 Goffi frontends (xmlui): added ValueGetter.keys
Mon, 16 Oct 2017 07:21:44 +0200 Goffi frontends (xmlui): new _xmlui_for_name attribute: