|
From: dAniel h. <ge...@th...> - 2004-11-26 23:08:56
|
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) |