From ee967448bae4733aec70ba128062bc3357a2f0df Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Thu, 6 Feb 2025 21:55:19 +1300 Subject: Widget deletion inside callbacks is now safe --- doc/fl.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/fl.html b/doc/fl.html index db60f5b..d79ed1a 100644 --- a/doc/fl.html +++ b/doc/fl.html @@ -1997,7 +1997,7 @@ static double wait(double time); 
 function Wait
        (Seconds : in Long_Float)
-    return Integer;
+    return Long_Float;
-- cgit