[Rev 01] RFR: 8230492: font-family not set in HTMLEditor if font name has a number in it

[Hadzic Samir]

On Tue, 5 Nov 2019 11:17:55 GMT, Arun Joseph <github.com+24428922+arun-Joseph at openjdk.org> wrote:

> The pull request has been updated with additional changes.
> 
> ----------------
> 
> Added commits:
>  - afc7f17a: Minor formatting
> 
> Changes:
>   - all: https://git.openjdk.java.net/jfx/pull/27/files
>   - new: https://git.openjdk.java.net/jfx/pull/27/files/5a1fbade..afc7f17a
> 
> Webrevs:
>  - full: https://webrevs.openjdk.java.net/jfx/27/webrev.01
>  - incr: https://webrevs.openjdk.java.net/jfx/27/webrev.00-01
> 
>   Issue: https://bugs.openjdk.java.net/browse/JDK-8230492
>   Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
>   Patch: https://git.openjdk.java.net/jfx/pull/27.diff
>   Fetch: git fetch https://git.openjdk.java.net/jfx pull/27/head:pull/27

Approved by shadzic (Author).

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