log src/stdui/ui_profile_manager.py @ 1649:b58c8b4715c6

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