even better option processing in widget.py, thanks Paolo

This commit is contained in:
mdipierro
2019-04-26 22:36:02 -07:00
parent 0a9975809c
commit 6f12be7e20
2 changed files with 25 additions and 23 deletions