441e7d5041
make it possible to toggle the display state of a widget between "displayed" and "minimized" also for modules that re-create their widgets during each iteration. see #661 |
||
---|---|---|
.. | ||
core | ||
modules | ||
util | ||
__init__.py |
441e7d5041
make it possible to toggle the display state of a widget between "displayed" and "minimized" also for modules that re-create their widgets during each iteration. see #661 |
||
---|---|---|
.. | ||
core | ||
modules | ||
util | ||
__init__.py |