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
..
window	Python console widget: Save registry fix (#6076)	2023-12-20 18:34:37 +01:00
__init__.py	moved python console interpreted module	2021-12-02 16:30:46 +01:00
module.py	use new import of interfaces	2022-11-03 16:21:58 +01:00