comparison sat_frontends/quick_frontend/quick_profile_manager.py @ 2668:c274201cea94

core, frontends (xmlui): added "hidden" widget, to specify a value to be returned unmodified
author Goffi <goffi@goffi.org>
date Fri, 31 Aug 2018 15:57:11 +0200
parents 56f94936df1e
children 378188abe941
comparison
equal deleted inserted replaced
2667:8dd9db785ac8 2668:c274201cea94