diff options
| -rw-r--r-- | runtime/doc/syntax.txt | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/runtime/doc/syntax.txt b/runtime/doc/syntax.txt index c1f7e06f0e..7fc621e706 100644 --- a/runtime/doc/syntax.txt +++ b/runtime/doc/syntax.txt @@ -4527,7 +4527,7 @@ term={attr-list} *attr-list* *highlight-term* *E418* following items (in any order): bold underline - undercurl not always available + undercurl a curly underline reverse inverse same as reverse italic @@ -4536,9 +4536,8 @@ term={attr-list} *attr-list* *highlight-term* *E418* Note that "bold" can be used here and by using a bold font. They have the same effect. - "undercurl" is a curly underline. When "undercurl" is not possible - then "underline" is used. In general "undercurl" is only available in - the GUI. The color is set with |highlight-guisp|. + If running in a terminal, "undercurl" acts as an alias for "underline". + It is set using |highlight-guisp|. start={term-list} *highlight-start* *E422* stop={term-list} *term-list* *highlight-stop* |