log src/tools/xml_tools.py @ 1528:1c71d7335d02

age author description
Fri, 25 Sep 2015 19:19:12 +0200 Goffi core (xmlui): deferDialog can now manage additional dialog options through the "options" argument