ngraham added a comment.
Are we sure this needs another preference to control it? Especially if it's on by default (which I would recommend), what's the use case for someone who wants it off and (more importantly) knows the settings exists and can easily find it? REPOSITORY R39 KTextEditor REVISION DETAIL https://phabricator.kde.org/D13442 To: shubham, #ktexteditor, cullmann, brauch Cc: zhigalin, ngraham, dhaumann, kwrite-devel, kde-frameworks-devel, michaelh, kevinapavew, bruns, demsking, head7, cullmann, kfunk, sars
