D16370: KTextEditor : syntax definition priority UI usability

[Christoph Cullmann]

cullmann added a comment.


  +1 for the negative priority idea, might help some people.
  
  For the tooltip stuff: I am not sure if that is not inconsistent with the remaining stuff on these pages.
  
  Other opinions?

REPOSITORY
  R39 KTextEditor

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

To: rjvbb, #ktexteditor
Cc: cullmann, kde-frameworks-devel, kwrite-devel, michaelh, ngraham, bruns, demsking, head7, kfunk, sars, dhaumann
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kwrite-devel/attachments/20181104/8fbfab21/attachment.html>