diff frontends/src/tools/misc.py @ 2412:7641bef56dcd

jp (xmlui): fixed workflow when value is for a BoolWidget
author Goffi <goffi@goffi.org>
date Tue, 31 Oct 2017 23:51:19 +0100
parents 2daf7b4c6756
children 1dfc5516dead
line wrap: on
line diff