comparison sat/core/patches.py @ 3474:1f1741dc3cc4

frontends (tools/xmui): implement `ValueGetter.items` and `XMLUIPanel.values` to get a map from widget name to values
author Goffi <goffi@goffi.org>
date Sat, 27 Feb 2021 18:39:25 +0100
parents 691283719bb2
children 524856bd7b19
comparison
equal deleted inserted replaced
3473:cc065c13052c 3474:1f1741dc3cc4