NEWS
changeset 69747 2755c387f1e6
parent 69746 7404f5b91e56
child 69755 2fc85ce1f557
     1.1 --- a/NEWS	Mon Jan 28 16:29:11 2019 +0100
     1.2 +++ b/NEWS	Mon Jan 28 20:32:09 2019 +0100
     1.3 @@ -3002,9 +3002,9 @@
     1.4  performance.
     1.5  
     1.6  * Property values in etc/symbols may contain spaces, if written with the
     1.7 -replacement character "?" (Unicode point 0x2324). For example:
     1.8 -
     1.9 -    \<star>  code: 0x0022c6  group: operator  font: Deja?Vu?Sans?Mono
    1.10 +replacement character "␣" (Unicode point 0x2324). For example:
    1.11 +
    1.12 +    \<star>  code: 0x0022c6  group: operator  font: Deja␣Vu␣Sans␣Mono
    1.13  
    1.14  * Java runtime environment for x86_64-windows allows to use larger heap
    1.15  space.