Jakub Trllo 64d39613fa Python console widget: Save registry fix (#6076) ... * it is possible to call 'save_registry' only when window is showed up * used more clever way how to determine if should be saved		2023-12-20 18:34:37 +01:00
..
__init__.py	moved python console interpreted module	2021-12-02 16:30:46 +01:00
widgets.py	Python console widget: Save registry fix (#6076)	2023-12-20 18:34:37 +01:00