From a99d3f8e5e988bff3fde5dc965b9af7e93beeae9 Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Thu, 31 Mar 2016 16:01:38 +0000 Subject: [PATCH] Fix screen fitting facilities for new page rendering styles --- devel/scheme/api/glue-auto-doc.en.tm | 36 ++++++++++++++++++++++++++-- 1 file changed, 34 insertions(+), 2 deletions(-) diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm index 66af870..483f099 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -6179,7 +6179,15 @@ source code. <\explain> - + + + <|explain> + Calls the function which returns + . + + + <\explain> + )> <|explain> Calls the function which returns @@ -6187,13 +6195,37 @@ source code. <\explain> - + )> + + <|explain> + Calls the function which returns + . + + + <\explain> + )> <|explain> Calls the function which returns . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain> )>