cullmann requested changes to this revision. cullmann added a comment. This revision now requires changes to proceed.
I think this would be some initial solution for this issue. An highlighting specific config would be even cooler, but giving the user the choice to add additional chars (or alter the wanted ones) is definitely a step in the right direction. Therefore I would say: proceed with this. I think it would be best to have as default value here the current chars that we use to allow people even to remove some they dislike. With the new config entry framework we can even expose this as mode-line thing later. REVISION DETAIL https://phabricator.kde.org/D17693 To: loh.tar, #ktexteditor, cullmann, mwolff Cc: ngraham, mwolff, cullmann, sars, kwrite-devel, kde-frameworks-devel, #ktexteditor, domson, michaelh, bruns, demsking, dhaumann