From c60dd09408901c14bdc245ad1a7d949142cb7546 Mon Sep 17 00:00:00 2001 From: Michael Reed Date: Sun, 8 Mar 2015 17:17:47 -0400 Subject: [PATCH] doc: Cleanup for #2099 Said PR changed the behavior of `undercurl` in the TUI, but didn't document it. --- runtime/doc/syntax.txt | 7 +++---- 1 file 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*