New JDK 9 feature: javadoc search box

[Mike Burton]

Very cool, nice work!

A very nice feature, don’t know how easy/ possible, would be to make it a drop-down list so as to recall previous searches.

Best Regards

Mike Burton
Myco Systems Ltd



> On 7 Jan 2016, at 21:07, Martijn Verburg <martijnverburg at gmail.com> wrote:
> 
> A fun one to share with your colleagues - please send feedback to jdk9dev!
> 
> ---------- Forwarded message ----------
> From: *joe darcy* <joe.darcy at oracle.com>
> Date: Thursday, 7 January 2016
> Subject: New JDK 9 feature: javadoc search box
> To: "jdk9-dev at openjdk.java.net" <jdk9-dev at openjdk.java.net>
> 
> 
> Hello,
> 
> FYI, towards the end of 2015 the javadoc team implemented an interesting
> new feature: a javadoc search box (JEP 225: Javadoc Search).
> 
> If you look at the current JDK 9 javadoc
> 
>    http://download.java.net/jdk9/docs/api/index.html
> 
> in the upper right corner of the main panel there now a search box. As an
> example, if you type "math" into the search box, this will look over the
> packages (java.math), types (java.langMath, java.math.BigDecimal, ...), and
> methods where "math" appears.
> 
> Cheers,
> 
> -Joe
> 
> 
> 
> -- 
> Cheers, Martijn (Sent from Gmail Mobile)