Posted: 16 Nov 2007, 19:52
it would make exploration easier.
I think that a real search engine in the browser could be more useful?
Actually, in the patch info window (menu patch/info) there is a 'keywords' field. I plan to extend the browser to be able to display all patches according to an entered keyword.