diff frontends/src/quick_frontend/quick_list_manager.py @ 2428:c2d88fe05303

core (XMLUI): added a "value" property in TextWidget
author Goffi <goffi@goffi.org>
date Sat, 11 Nov 2017 18:39:24 +0100
parents 2daf7b4c6756
children
line wrap: on
line diff