Remember that margins for PS or PDF export may still need to be set explicitly
GTK print dialog should take care of all of this though - if / when we move.
Remember that margins for PS or PDF export may still need to be set explicitly
GTK print dialog should take care of all of this though - if / when we move.