reftree Windows 10 adds weird symbols for references when generating animations

Windows 10 adds weird symbols for references when generating animations

Open hejfelix opened this issue 8 years ago • 1 comments

Running reftree.demo.All reproduces this issue on windows 10.

Still pictures are generated nicely:

list

but animations get a wierd A-hat symbol next to the black circles:

list-append

Jun 18 '17 16:06 hejfelix

Here's output of running reftree.demo.All with -Dsun.java2d.debugfonts=true output.txt

Jun 18 '17 18:06 hejfelix