Originally shared by Thomas Mueller (dummzeuch)
Originally shared by Thomas Mueller (dummzeuch)
Jeroen has submitted two enhancements to GExperts: Grep search makes IDE unresponsive when searching massive amounts of directories with non-matching files Allow delete key in grep search `Results` pane to delete an entry Thanks! I am still working on the…
http://blog.dummzeuch.de/2017/10/14/enhancements-to-gexperts-grep/
Jeroen has submitted two enhancements to GExperts: Grep search makes IDE unresponsive when searching massive amounts of directories with non-matching files Allow delete key in grep search `Results` pane to delete an entry Thanks! I am still working on the…
http://blog.dummzeuch.de/2017/10/14/enhancements-to-gexperts-grep/
Comments
Post a Comment