diff options
| -rw-r--r-- | man/text.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man/text.texi b/man/text.texi index a6963e303ec..5be86de7b80 100644 --- a/man/text.texi +++ b/man/text.texi | |||
| @@ -1833,8 +1833,8 @@ menu works with (@code{facemenu-remove-face-props}). | |||
| 1833 | Delete @emph{all} text properties from the region | 1833 | Delete @emph{all} text properties from the region |
| 1834 | (@code{facemenu-remove-all}). | 1834 | (@code{facemenu-remove-all}). |
| 1835 | 1835 | ||
| 1836 | @findex list-text-properties-at | 1836 | @findex describe-text-at |
| 1837 | @item List Properties | 1837 | @item Describe Text |
| 1838 | List all the text properties of the character following point | 1838 | List all the text properties of the character following point |
| 1839 | (@code{list-text-properties-at}). | 1839 | (@code{list-text-properties-at}). |
| 1840 | 1840 | ||