# HG changeset patch # User Dave Love # Date 945687036 0 # Node ID e388d69f42691a1eb67f9ed5112b0ec2761f9042 # Parent def8de0fb5006d28181fd3da509c173ce846ddeb (Fx_show_tip): Add missing UNGCPRO. diff -r def8de0fb500 -r e388d69f4269 src/xfns.c --- a/src/xfns.c Sun Dec 19 19:13:08 1999 +0000 +++ b/src/xfns.c Mon Dec 20 10:50:36 1999 +0000 @@ -9869,7 +9869,8 @@ /* Let the tip disappear after timeout seconds. */ tip_timer = call3 (intern ("run-at-time"), timeout, Qnil, intern ("x-hide-tip")); - + + UNGCPRO; return unbind_to (count, Qnil); }