Comment 1 for bug 176541

I am not sure, whether it would be better to have 2 different printing options, one that prints to a file and one that prints to a real printer, or whether it´s better to have just one printing option.