Found a typo: "non- empty" should be "non-empty". See below...
diff --git a/runtime/doc/options.txt b/runtime/doc/options.txt
index b17be8646..5ec121dc7 100644
--- a/runtime/doc/options.txt
+++ b/runtime/doc/options.txt
@@ -7957,7 +7957,7 @@ A jump table for the options with a short
description can be found at |Q_op|.
- VIM the server name |v:servername| or "VIM"
Only works if the terminal supports setting window titles
(currently Amiga console, Win32 console, all GUI versions and
- terminals with a non- empty 't_ts' option - these are Unix xterm and
+ terminals with a non-empty 't_ts' option - these are Unix xterm and
iris-ansi by default, where 't_ts' is taken from the builtin termcap).
*X11*
When Vim was compiled with HAVE_X11 defined, the original title will
--
Jason Franklin
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/vim_dev/7b270ac1-ac5f-6c68-793b-f382759d228c%40quoininc.com.
