diff sat_frontends/tools/xmlui.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 fee60f17ebac
children 9d0df638c8b4
line wrap: on
line diff