Ben Fritz wrote:
> On Friday, July 29, 2016 at 3:15:44 PM UTC-5, Andrew Pennebaker wrote:
> > When I use Vim in cmd.exe, Vim shrinks the Command Prompt window by half
> > until I quit Vim.
> >
> > Configuration:
> >
> > https://github.com/mcandre/dotfiles/blob/master/.vimrc
> >
> > System:
> >
> > * Vim 7.4 via Chocolatey
> > * Windows 10 Professional x86_64
>
> What Vim version does Chocolatey publish? Check your :version output in Vim
> for the exact patch level.
>
> I don't see the behavior on my Windows 7 PC so it's probably something in
> your configuration, or in the system .vimrc which may come installed by
> Chocolatey, if it does that.
>
> I don't see anything that jumps out in your .vimrc, although you do seem to
> be setting 'nocp' rather late in your .vimrc, when normally it comes near the
> top. And it's not really needed if you have a .vimrc anyway.
>
> I suspect something in your plugins, or in the system .vimrc, is setting the
> 'lines' option. See the output of ":verbose set lines?" in Vim to see what it
> is (or if I'm wrong and that's not the issue after all).
It could be something about the way Vim was built. I recall the console
falling back to a compatiblity mode when the executable looks like it
won't support more than 25 lines.
--
SOLDIER: Where did you get the coconuts?
ARTHUR: Through ... We found them.
SOLDIER: Found them? In Mercea. The coconut's tropical!
"Monty Python and the Holy Grail" PYTHON (MONTY) PICTURES LTD
/// 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_use" 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_use" 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.
