log src/stdui/ui_profile_manager.py @ 1622:5b24d6bf5d15

age author description
Mon, 16 Nov 2015 08:57:02 +0100 Goffi frontends (xmlui): fixed widget closing on submit