diff src/tools/xml_tools.py @ 2376:825608d4eaf8

frontends (xmlui): new widget_value dict to get first value of widget by name
author Goffi <goffi@goffi.org>
date Mon, 16 Oct 2017 07:18:07 +0200
parents 318f0434d830
children 59636c4db2d0
line wrap: on
line diff