深度编辑器希望能增加文本类型搜索功能，类似gedit那样，虽然编辑器对他们做了分类，但是还是不如搜索来的快