comparison CHANGELOG @ 2540:3e03de7691ce

frontends (xmlui): added whitelist argument: when set whitelist indicate that only widgets (and their eventual labels) with names in this list are to be kept. This option is mutually exclusive with ignore.
author Goffi <goffi@goffi.org>
date Thu, 29 Mar 2018 09:03:19 +0200
parents 3c92c0b977b5
children 465d31a53896
comparison
equal deleted inserted replaced
2539:dcc77f23e370 2540:3e03de7691ce