comparison sat_frontends/quick_frontend/quick_list_manager.py @ 3115:3018d153a615

quick frontend (widgets): some more errors handling in getOrCreateWidget
author Goffi <goffi@goffi.org>
date Fri, 17 Jan 2020 18:47:02 +0100
parents 56f94936df1e
children 559a625a236b
comparison
equal deleted inserted replaced
3114:060ac43627fc 3115:3018d153a615