From 5a7fed80171f77070ea55d836cef37ba8f92129a Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Sun, 8 Nov 2020 11:34:23 +0000 Subject: [PATCH] Still improvable support for tooltip windows --- devel/scheme/api/glue-auto-doc.en.tm | 22 +++++++++++++++++++--- 1 file changed, 19 insertions(+), 3 deletions(-) diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm index 34ba09c..5ea86de 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -5619,7 +5619,7 @@ source code. <\explain> - )> + )> <|explain> Calls the function which returns @@ -5627,10 +5627,26 @@ source code. <\explain> - )> + )> <|explain> - Calls the function which returns + Calls the function which returns + . + + + <\explain> + )> + + <|explain> + Calls the function which returns + . + + + <\explain> + )> + + <|explain> + Calls the function which returns .