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.htmlis *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 offer for me to copy-paste?
Martin, I'll investigate and get back to you. -- Jon