Christian wrote:
> the vertsplit feature has been removed as of 7.4.1611 and is since then
> controlled by the +windows feature. However the documentation still
> talks about it as of being enabled for normal builds.
>
> So I suggest the following change:
>
> idiff --git a/runtime/doc/various.txt b/runtime/doc/various.txt
> index 24290faf9..dd097fbc9 100644
> --- a/runtime/doc/various.txt
> +++ b/runtime/doc/various.txt
> @@ -438,7 +438,8 @@ N *+title* Setting the window 'title' and 'icon'
> N *+toolbar* |gui-toolbar|
> N *+user_commands* User-defined commands. |user-commands|
> N *+viminfo* |'viminfo'|
> -N *+vertsplit* Vertically split windows |:vsplit|
> +S *+vertsplit* Vertically split windows |:vsplit| Since
> 7.4.1611
> + the same as the |+windows| feature
> N *+virtualedit* |'virtualedit'|
> S *+visual* Visual mode |Visual-mode| Always enabled since
> 7.4.200.
> N *+visualextra* extra Visual mode commands |blockwise-operators|
Thanks. Using "in sync with" is a bit better than "the same as", since
it's still a separate feature to check for.
--
"You know, it's at times like this when I'm trapped in a Vogon airlock with
a man from Betelgeuse and about to die of asphyxiation in deep space that I
really wish I'd listened to what my mother told me when I was young!"
"Why, what did she tell you?"
"I don't know, I didn't listen!"
-- Arthur Dent and Ford Prefect in Douglas Adams'
"The Hitchhiker's Guide to the Galaxy"
/// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///
--
--
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].
For more options, visit https://groups.google.com/d/optout.
