<div class="h5">
</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">No, thats the part currently missing, though I think if the tools are<br>

really missing there's going to be "some" kind of error in the result<br>
output. Thats not optimal of course as it might not make clear whats the<br>
problem exactly and will also not list all apps necessary at once.<br></blockquote></div><br>Hm... I think I will code some tests to the plugin that will check if the tools exist when the grepview dialog gets initially opened. Because I think that actually noone removes grep and so on when installed, the availability of these tools could be saved in the plugin's settings. What do you think?<br>
<br>-- Syron<br>