diff options
Diffstat (limited to 'runtime/doc/sign.txt')
| -rw-r--r-- | runtime/doc/sign.txt | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/runtime/doc/sign.txt b/runtime/doc/sign.txt index 6c92073076..d52b8e964f 100644 --- a/runtime/doc/sign.txt +++ b/runtime/doc/sign.txt @@ -28,10 +28,8 @@ Microsystem's dtterm does support this it's the only terminal emulator I know of which does). A text sign and the highlight should be feasible in any color terminal emulator. -Signs and highlights are not useful just for debuggers. Sun's Visual -WorkShop uses signs and highlights to mark build errors and SourceBrowser -hits. Additionally, the debugger supports 8 to 10 different signs and -highlight colors. |workshop| Same for Netbeans |netbeans|. +Signs and highlights are not useful just for debuggers. There are plugins +that use signs to mark build errors or display version control status. There are two steps in using signs: |