Re: Command/Macros/Shortcut Search: Re: [ jEdit-users ] Directory Search

[dAniel h. <ge...@th...>]

Hello jedit-users,

on Fri, 26. Nov 2004 at 00:15:54 +0100 Alexander Klimetschek wrote:

> Not the optimum solution but it gives you some kind of full-text search...

What I do when searching something in the help (F1) is copy'n'paste the
text into a new buffer and search there.

You could also use your favorite browser on the users-guide html
(/Program Files/jEdit/doc/users-guide/index.html on Windows).


-- 
shinE!
GnuPG/PGP key: http://thequod.de/danielhahler.asc
ICQ#152282665
Random software tip: [***] WinAmp Advanced Controls
(http://www.niversoft.com/products/nadvctrls-en.html)