6 Commits

Author	SHA1	Message	Date
zadam	bcb3a707f4	option tabs refactored	2022-11-20 23:20:42 +01:00
zadam	0a67af4f46	refactoring option templates to use "options-section" class	2022-11-20 20:33:50 +01:00
zadam	a3783b0113	options dialog refactoring into more standard widget structure	2022-11-20 18:29:15 +01:00
zadam	02d908df1e	added option to disable tray, closes #2612	2022-11-18 21:47:14 +01:00
zadam	ae0c5a0c09	moved auto read only options to code/text tabs	2022-11-18 21:27:25 +01:00
zadam	57c5b6d61f	added an option to define a "min TOC headings", #2985	2022-07-16 00:15:45 +02:00