diff options
| -rw-r--r-- | man/widget.texi | 4 |
1 files changed, 1 insertions, 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 |