From b48526d714f1bc95054b8c852472fa53d3e7b6d8 Mon Sep 17 00:00:00 2001
From: Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>
Date: Tue, 10 Nov 2020 22:02:21 +0000
Subject: [PATCH] Way to retrieve size of tooltips

---
 devel/scheme/api/glue-auto-doc.en.tm | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm
index 5ec9eaf..25e1bed 100644
--- a/devel/scheme/api/glue-auto-doc.en.tm
+++ b/devel/scheme/api/glue-auto-doc.en.tm
@@ -5034,6 +5034,14 @@ source code.
     <scm|array_int>.
   </explain>
 
+  <\explain>
+    <scm|(texmacs-widget-size <scm-arg|widget>)>
+<explain-synopsis|no synopsis>
+  <|explain>
+    Calls the <c++> function <cpp|get_texmacs_widget_size> which returns
+    <scm|array_int>.
+  </explain>
+
   <\explain>
     <scm|(show-balloon <scm-arg|widget> <scm-arg|int> <scm-arg|int>)>
 <explain-synopsis|no synopsis>