2 Commits

Author	SHA1	Message	Date
Uwe	5353cff196	[Gui] DlgSettings etc.: remove unused includes	2022-03-17 00:17:32 +01:00
wmayer	71a6ffde35	Gui: move Python console specific settings to its own tab because General is quite overloaded	2022-02-21 17:49:27 +01:00