On 3/2/18 6:41 PM, Martin Buchholz wrote:
The new SEARCH: box recently added to api docs e.g.
https://download.java.net/java/early_access/jdk11/docs/api/overview-summary.html
is *awesome* (thanks!) and I would like to embed those SEARCH: boxes
in my own home page, and I'm guessing I'm not the on
The new SEARCH: box recently added to api docs e.g.
https://download.java.net/java/early_access/jdk11/docs/api/overview-summary.html
is *awesome* (thanks!) and I would like to embed those SEARCH: boxes in my
own home page, and I'm guessing I'm not the only one. Do you have a
snippet of html to off
