2 Commits

Author	SHA1	Message	Date
Uwe	7196e8976c	[Gui] DlgSettings etc.: remove unused includes	2022-03-17 00:17:32 +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