diff options
| author | Dave Love | 1999-12-03 19:38:44 +0000 |
|---|---|---|
| committer | Dave Love | 1999-12-03 19:38:44 +0000 |
| commit | eda77a0ff6a32141cbb070f1bd114b6a485d86d7 (patch) | |
| tree | 4129fab1816efb0f541d0c29acf22aaef6899744 | |
| parent | 75952b80e5abad4a92ceae1ef67759a5cc9fbeb9 (diff) | |
| download | emacs-eda77a0ff6a32141cbb070f1bd114b6a485d86d7.tar.gz emacs-eda77a0ff6a32141cbb070f1bd114b6a485d86d7.zip | |
(Overlays): Add menu entry for Finding Overlays.
| -rw-r--r-- | lispref/display.texi | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lispref/display.texi b/lispref/display.texi index c60d137f740..c1f8fdfd5bc 100644 --- a/lispref/display.texi +++ b/lispref/display.texi | |||
| @@ -712,7 +712,8 @@ these affect the display of the text within the overlay. | |||
| 712 | @menu | 712 | @menu |
| 713 | * Overlay Properties:: How to read and set properties. | 713 | * Overlay Properties:: How to read and set properties. |
| 714 | What properties do to the screen display. | 714 | What properties do to the screen display. |
| 715 | * Managing Overlays:: Creating, moving, finding overlays. | 715 | * Managing Overlays:: Creating and moving overlays. |
| 716 | * Finding Overlays:: Searching for overlays. | ||
| 716 | @end menu | 717 | @end menu |
| 717 | 718 | ||
| 718 | @node Overlay Properties | 719 | @node Overlay Properties |
| @@ -1869,7 +1870,7 @@ expression in the list. For example, | |||
| 1869 | 1870 | ||
| 1870 | @noindent | 1871 | @noindent |
| 1871 | allows the use of scalable fonts with registry @code{muleindian-2}. | 1872 | allows the use of scalable fonts with registry @code{muleindian-2}. |
| 1872 | @end example | 1873 | @end defvar |
| 1873 | 1874 | ||
| 1874 | @defun clear-face-cache &optional unload-p | 1875 | @defun clear-face-cache &optional unload-p |
| 1875 | @tindex clear-face-cache | 1876 | @tindex clear-face-cache |