When I try to export a dervation to latex the file save dialogue opens and appears to work but no exported file is actually saved.
I am using the stable jar version quantomatic downloaded from http://quantomatic.github.io/ and have seen this problem on both Ubuntu Linux (16.04) and on Mac OS (a colleagues machine so I don't know the specifics). I have not tried on any other systems.
In case it helps you reproduce the problem, when I run java -version on my machine, this is the output
openjdk version "1.8.0_181"
OpenJDK Runtime Environment (build 1.8.0_181-8u181-b13-0ubuntu0.16.04.1-b13)
OpenJDK 64-Bit Server VM (build 25.181-b13, mixed mode)
When I try to export a dervation to latex the file save dialogue opens and appears to work but no exported file is actually saved.
I am using the stable jar version quantomatic downloaded from http://quantomatic.github.io/ and have seen this problem on both Ubuntu Linux (16.04) and on Mac OS (a colleagues machine so I don't know the specifics). I have not tried on any other systems.
In case it helps you reproduce the problem, when I run
java -version
on my machine, this is the outputopenjdk version "1.8.0_181" OpenJDK Runtime Environment (build 1.8.0_181-8u181-b13-0ubuntu0.16.04.1-b13) OpenJDK 64-Bit Server VM (build 25.181-b13, mixed mode)