Javadoc Incremental Search

By koseki Last update Jul 24, 2005 — Installed 3,259 times.

Archived Comments (locked)

in
Subscribe to Archived Comments 8 posts, 6 voices



Jesse Andrews Admin

The following is an archive of comments made before threaded discussions was implemented (November 16th, 2008)

 
kremso User

Hi koseki,
your script is not working on Toplink javadoc

http://www.oracle.com/technology/products/ias/t...

Could please have a look at it?

 
Vikstar User

Using it succesfully in Opera 9.5 beta. I prefer that "*" is added by default to the front of each search, so I hacked this by commenting out lines 402, 403, and 404, and changing "== 0" in line 406 to "!= -1". Probably not the best way, but meh, it seems to work for simple searches.

 
Vikstar User

Thanks, works very well. JDK6 javadocs, and Firefox 2.0.0.11 with Greasemonkey 0.7.20080121.0.

 
koseki Script's Author

I fixed the problems with Firefox 1.5/Greasemonkey 0.6.4. Prease try versin 0.3.

Thanks.

 
fracnk User

Something breaks since firefox 1.5... Sniff

 
muncman User

This rocks. Thanks!

 
koseki Script's Author

Demo(Flash):
http://www.teria.com/~koseki/tools/gm/javadoc_i...
http://www.teria.com/~koseki/tools/gm/javadoc_i...