diff src/tools/xml_tools.py @ 1608:05274b27e90e

frontends (xmlui): fixed widget closing on submit
author Goffi <goffi@goffi.org>
date Mon, 16 Nov 2015 08:57:02 +0100
parents e0a152f2cf6d
children 5b24d6bf5d15
line wrap: on
line diff