log frontends/src/jp/xmlui_manager.py @ 2420:03da3ef5fb5b

age author description
Sun, 05 Nov 2017 13:53:28 +0100 Goffi frontends (xmlui): added an attribute to ignore some widgets (and their label) in create