On Sun, Mar 17, 2013 at 01:03:14AM +0100, Salvador Cuñat wrote: > > The numbers are which we use in draw_page() to set the layout. > I meant print(). Bad time for mailing, it should be for sleeping ;-) Regards Salva