9 Commits

Author	SHA1	Message	Date
zadam	f336435adb	appearance options broken up into individual widgets	2022-12-06 22:43:35 +01:00
zadam	fc080f785b	moving components to its own directory	2022-12-01 13:07:23 +01:00
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	57c5b6d61f	added an option to define a "min TOC headings", #2985	2022-07-16 00:15:45 +02:00
zadam	c2c724aa00	Merge remote-tracking branch 'origin/stable'	2022-07-08 22:21:41 +02:00
zadam	2e1bef2df7	fix ctrl+enter navigation for reference links, closes #2932	2022-06-20 23:11:52 +02:00
zadam	9a8e677baf	converted options dialog to new pattern	2022-06-16 22:53:11 +02:00