dhaumann added a comment.

  Did you test that the annotation border still works? You can do so in 
KDevelop by invoking git blame.
  
  Besides I still gave no issues with this patch, except that I did not test 
myself. If you say there are mouse move issues, then these issues should be 
fixed asap :)

REVISION DETAIL
  https://phabricator.kde.org/D20697

To: loh.tar, #ktexteditor, dhaumann
Cc: dhaumann, kwrite-devel, kde-frameworks-devel, #ktexteditor, domson, 
michaelh, ngraham, bruns, demsking, cullmann, sars

Reply via email to