RFR: WIP: 8230231: font-family not updated in HTMLEditor

Tue Apr 7 05:41:09 UTC 2020

On Wed, 12 Feb 2020 20:34:55 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

>> I have indeed let this bug on the side. I would like to investigate but my time is limited these days. Especially that
>> my patch is apparently creating another issue. I will try to give it another shot in the upcoming week. But if anyone
>> has some ideas or is willing to carry the issue, feel free
>
> No hurry. I was just going through PRs that hadn't been updated in a while.

The second issue regarding selecting texts with multiple fonts will be fixed when
https://github.com/openjdk/jfx/pull/155 is merged.

-------------

PR: https://git.openjdk.java.net/jfx/pull/12