On Tuesday, August 27, 2013 6:04:35 PM UTC-4, AndyHancock wrote:
>On Tuesday, August 27, 2013 1:07:59 PM UTC-4, AndyHancock wrote:
>> ...it's turning out to be harder to avoid changes to the window
>> size than I thought (and that is the source of the undocking
>> problem described in this thread). That is, if you like vertical
>> scroll bars and switch around your window splitting alot. For
>> example, for vertical split windows with scrollbars, you'd use a
>> scrollbar on the left edge for the left window and a scrollbar on
>> the right edge for the right window. But say you decide to move
>> the left window to the top (ctrl-W followed by K in normal mode).
>> Then, both windows have scrollbars along the right edge, and with
>> no more need for a scrollbar along the left edge, poof, the overall
>> gvim window size changes. I'm sure it's just a matter of perusing
>> the scrollbar documentation to see what alternatives there are to a
>> scrollbar along the left edge for a vertically split window (which
>> I will do), but it's a pity that this has to be forgone.
>
> Actually, another challenge in the cogs: Switching between tabs
> where you have no vertical splits in one tab but you have vertical
> splits in another. That causes the GUI window size to change. I'm
> going to disable the left-side scrollbar.
OK, for future reference (in case anyone else docks gvim and makes liberal use of split windows/tabs), this seems to be all the bases that need covering to avoid changes in the size of gvim's overall GUI window:
set guioptions+=b guioptions-=e guioptions-=L guioptions?
guioptions=grtb
Thanks for all the pointers provided in this forum.
--
--
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 vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
No comments:
Post a Comment