# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1220721725 0
# Node ID 254287aa10ea0c740a16cdd54a0d61c6c2d93036
# Parent  0111106ca5224250972a679b49e0a8a3ff5b28b6
(Ftop_level): Doc fix.

diff -r 0111106ca522 -r 254287aa10ea src/keyboard.c
--- a/src/keyboard.c	Sat Sep 06 17:21:57 2008 +0000
+++ b/src/keyboard.c	Sat Sep 06 17:22:05 2008 +0000
@@ -1361,7 +1361,8 @@
 }
 
 DEFUN ("top-level", Ftop_level, Stop_level, 0, 0, "",
-       doc: /* Exit all recursive editing levels.  */)
+       doc: /* Exit all recursive editing levels.
+This also exits all active minibuffers.  */)
      ()
 {
 #ifdef HAVE_WINDOW_SYSTEM