D16370: KTextEditor : syntax definition priority UI usability
noreply at phabricator.kde.org
Sat Nov 24 16:41:20 GMT 2018
cullmann accepted this revision.
cullmann added a comment.
This revision is now accepted and ready to land.
I think we merge the change here now.
The tooltip is no real issue, we can try to consolidate what-this-tooltip-inline help an other time if somebody has interest.
Allowing negative prios makes sense.
To: rjvbb, #ktexteditor, cullmann
Cc: dhaumann, ngraham, cullmann, kde-frameworks-devel, kwrite-devel, michaelh, bruns, demsking, head7, kfunk, sars
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the KWrite-Devel