From: John Darrington Date: Sun, 18 Jun 2023 13:21:09 +0000 (+0200) Subject: Make the page breaking in the TeX driver a little better X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ff8affe2812e2af53ba0ab5c64b4d82a0b05a1c5;p=pspp Make the page breaking in the TeX driver a little better --- diff --git a/src/output/tex.c b/src/output/tex.c index 8a88452ec8..76582c3ada 100644 --- a/src/output/tex.c +++ b/src/output/tex.c @@ -588,7 +588,8 @@ tex_output_table_layer (struct tex_driver *tex, const struct pivot_table *pt, free (marker); } - shipout (&tex->token_list, "}\n\\vskip 3ex\n\n"); + shipout (&tex->token_list, "}\n\\vskip 4ex plus 2ex minus 1ex"); + shipout (&tex->token_list, "\\penalty -300"); table_unref (title); table_unref (layers);