wxMaxima: if you want to print