What about building with JDK 11 and the -frame option then? That's the
best of both worlds.
Emmanuel Bourg
Le 23/05/2024 à 18:44, Gary Gregory a écrit :
I disagree, I think the search box is a great feature.
Gary
On Thu, May 23, 2024, 11:26 AM Emmanuel Bourg <[email protected]> wrote:
-0
The javadoc was built with Java 17 and is less usable than the javadoc
generated by Java 8. I recommend building the next release with Java 8
instead.
Emmanuel Bourg
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
