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

Reply via email to