hi, Am Sonntag, 26. Januar 2020, 15:19:54 CET schrieb Thomas Friedrichsmeier: > the idea behind changing this was to avoid confusion, as the plugin will > not search in help files, or the output file.
how about using the default name as stefan suggested, but explain this in the tooltip on mouseover? btw, this is sooo cool! combining "search in files" with "in current project" is something i will heavily use from now on! i was used to doing this with grep in a terminal, but this is way more comfortable :D also, the projects feature is so immensely helpful when i'm working on files from different packages at once. i was also happy to see that the plugin will automatically offer tools like gitk or git cola if installed -- a real boost in productivity! viele grüße :: m.eik -- dipl. psych. meik michalke institut f"ur experimentelle psychologie abt. f"ur diagnostik und differentielle psychologie heinrich-heine-universit"at d-40204 d"usseldorf
signature.asc
Description: This is a digitally signed message part.
