3 Commits

Author	SHA1	Message	Date
Ansgar Becker	19fa0c13b9	Fix crash in highlighter customizer, as long as no attribute is selected	2023-10-16 21:36:45 +02:00
Ansgar Becker	f65bb039ca	Issue #1659: ... * remove broken sample text box * activate translation on dialog	2022-09-12 07:45:39 +02:00
Ansgar Becker	ddca97c07a	Issue #1659: create dialog for customizing highlighter colors and style, for use on grid text editor	2022-09-11 13:52:59 +02:00