ngraham added a comment.
That's different. "Filter" actually hides non-matched entries. "Find" highlights them while keeping the context and surrounding content. REPOSITORY R39 KTextEditor REVISION DETAIL https://phabricator.kde.org/D19771 To: ognarb, #ktexteditor, #vdg Cc: cfeck, loh.tar, ngraham, kwrite-devel, kde-frameworks-devel, gennad, domson, michaelh, bruns, demsking, cullmann, sars, dhaumann
