2 Commits

Author	SHA1	Message	Date
wmayer	cf49fc7c6d	Gui: Attach PythonConsole to parameter group and handle changes in its OnChange() method ... This avoids code duplications and makes sure the group name is used only once. The parameters are saved to the group 'PythonConsole' instead of 'General'.	2022-02-21 19:26:44 +01:00
wmayer	973eb27d7e	Gui: move Python console specific settings to its own tab because General is quite overloaded	2022-02-21 17:49:27 +01:00