D16370: KTextEditor : syntax definition priority UI usability

Christoph Cullmann noreply at phabricator.kde.org
Sun Nov 4 13:30:49 GMT 2018

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?

  R39 KTextEditor


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>

More information about the KWrite-Devel mailing list