diff options
| -rw-r--r-- | doc/lispref/windows.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/lispref/windows.texi b/doc/lispref/windows.texi index 44cd89d98c1..679744884a3 100644 --- a/doc/lispref/windows.texi +++ b/doc/lispref/windows.texi | |||
| @@ -2082,7 +2082,7 @@ windows to search, and have the same meanings as in | |||
| 2082 | @end defun | 2082 | @end defun |
| 2083 | 2083 | ||
| 2084 | @defun window-bump-use-time window | 2084 | @defun window-bump-use-time window |
| 2085 | This function marks @var{window} has having been recently used. This | 2085 | This function marks @var{window} as having been recently used. This |
| 2086 | can be useful when creating certain @code{pop-to-buffer} scenarios. | 2086 | can be useful when creating certain @code{pop-to-buffer} scenarios. |
| 2087 | @end defun | 2087 | @end defun |
| 2088 | 2088 | ||