So there is nothing I can do to convince you to install OpenJDK 11 to improve the user experience? Having multiple JDKs installed isn't uncommon though.

Emmanuel Bourg


Le 23/05/2024 à 20:47, Gary Gregory a écrit :
ATM, I am using Java 17 for everything, at work, at FOSS.

Gary

On Thu, May 23, 2024, 2:28 PM Emmanuel Bourg <[email protected]> wrote:

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]

Reply via email to