a solution (was: ps-print-buffer-with-faces does not work, ediff buffers)