diff man/widget.texi @ 67725:edc7ae3b8f06

(atoms): Delete obsolete remark about `file' widget.
author Luc Teirlinck <teirllm@auburn.edu>
date Thu, 22 Dec 2005 01:35:40 +0000
parents 69b3598a61c5
children 9d71640b5bb2 7beb78bc1f8e
line wrap: on
line diff
--- a/man/widget.texi	Thu Dec 22 00:39:46 2005 +0000
+++ b/man/widget.texi	Thu Dec 22 01:35:40 2005 +0000
@@ -1282,9 +1282,7 @@
 @end deffn
 
 @deffn Widget file
-Allows you to edit a file name in an editable field.  If you invoke
-the tag button, you can edit the file name in the mini-buffer with
-completion.
+Allows you to edit a file name in an editable field.
 
 Keywords:
 @table @code