On So, 24 Feb 2019, Robert Webb wrote:
> > * Bug: resize windows by dragging the divider between them down to a > single > > line. The window directly above the divider is fine (as it has focus), > but > > windows higher up that are reduced to a single line, or windows below > that > > are reduced to a single line, don't end up showing the line with the > > cursor. They are one away from it. As soon as you move the mouse over > > them they update to correctly show the cursor line. This is kind of > > annoying. Aside from seeing something change out of the corner of your > eye > > as the mouse moves and wondering what happened, I also often want to see > > that one line. I often reduce a window down to one important line I > want > > to see while working in another window. > > > > I'm using gvim on Windows, 8.1, patches 1-897. > > It's very likely the code to keep the cursor in the same relative > position. Hmm, I wonder who wrote that? :-) > > > Well it worked when I wrote it :) > > I had a quick look and found the problem quickly by comparing the old and new > code. > > Problem was that the call to set_topline() had been moved into the two > if-branches, so it didn't get called any more when sline == 0. > > Do you think that was done to fix some other issue though, or just because it > was presumed more efficient? That was done because of 7.4.365 and the other change was because of 7.4.280. The patch description mention some problems/crash that those changes tried to fix. > Patch below fixes the bug. Is this the right way to supply patches? Yes, as long as it is some kind of patch, Bram typically figures it out ;) Best, Christian -- Wer sich sonst keinen Schmuck leistet, soll wenigstens jedes Wort auf die Goldwaage legen dürfen. -- -- 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.
