Developed from Bugs item #3445867
Bobs comment "Yes, as the message says, it is a bug introduced in version 1.67 of the java extensions. The extension code is triggered when stylesheet parameters $use.extensions=1 and $graphicsize.extension=1.
It appears that a bug report was not filed (I cannot find such a report). Would you mind submitting a bug report so this can get tracked and fixed by a Java programmer familiar with that code? "
Jirka notes the interaction with
Log in to post a comment.