remove old highlightingdialog

This commit is contained in:
2023-01-22 19:05:58 +01:00
parent e8fe759f70
commit 04377ca956
8 changed files with 170 additions and 385 deletions