diff frontends/src/tools/misc.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 (2017-10-16)
parents 2daf7b4c6756
children 1dfc5516dead
line wrap: on
line diff