the "print" button is available both from "File"->"print setup" and from "File"->"print file"
the former always exits with segfault, the latter always works instead, making the workaround obvious.
the "print" button is available both from "File"->"print setup" and from "File"->"print file"
the former always exits with segfault, the latter always works instead, making the workaround obvious.