log frontends/src/tools/xmlui.py @ 2086:4633cfcbcccb

age author description
Sun, 21 Aug 2016 12:07:31 +0200 Goffi frontends (xmlui): added a user_action attribute: