comparison sat_frontends/jp/xmlui_manager.py @ 2888:e3803ae89fbc

quick_frontend (widgets): fixed crash on getWidgets when target doesn't correspond to any widget
author Goffi <goffi@goffi.org>
date Sun, 07 Apr 2019 15:04:28 +0200
parents 442ab697f831
children 18a98a541f7a
comparison
equal deleted inserted replaced
2887:9aadf11b315b 2888:e3803ae89fbc