From 2f04a83552134f40d24e2a529d4e6c39e6e6ac6e Mon Sep 17 00:00:00 2001 From: Luc Teirlinck Date: Thu, 22 Dec 2005 01:35:40 +0000 Subject: [PATCH] (atoms): Delete obsolete remark about `file' widget. --- man/widget.texi | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/man/widget.texi b/man/widget.texi index 5b4a4b12525..91e74dca01c 100644 --- a/man/widget.texi +++ b/man/widget.texi @@ -1282,9 +1282,7 @@ Allows you to enter a character in an editable field. @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 -- 2.39.2