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

[Arun Joseph]

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

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