From 0973a734619b0b45f51ac0c49ecdc16f35f6411d Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Thu, 22 Jun 2017 19:41:57 +0000 Subject: [PATCH] Release selection on structured cursor moves --- devel/scheme/api/glue-auto-doc.en.tm | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm index bbd744e..20ccb3b 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -12842,6 +12842,14 @@ source code. . + <\explain> + + + <|explain> + Calls the function which returns + . + + <\explain> )> @@ -15098,6 +15106,14 @@ source code. . + <\explain> + + + <|explain> + Calls the function which returns + . + + <\explain> )>