ngraham added a comment.
OMG so much better! Adding a search field is a godsend. I have a few UI comments: - When the menu is opened, clear any text in the search field left over from a prior search - Single-clicking on an item in the list should select it and close the menu; double-click doesn't gain us anything here REPOSITORY R39 KTextEditor REVISION DETAIL https://phabricator.kde.org/D20958 To: nibags, #ktexteditor, #kate, #vdg Cc: ngraham, loh.tar, kwrite-devel, kde-frameworks-devel, domson, michaelh, bruns, demsking, cullmann, sars, dhaumann
