Robert Webb wrote:
> Hi Christian & Bram,
>
> I'm including images below, so I thought it better to write directly rather
> than bothering the whole mailing list about it.
That apparently happened anyway, but I haven't heard complaints about
larger emails recently, thus it's fine.
> I couldn't see how to generate a single patch for three submits in
> TortoiseGit,
> but I've listed all three patches again below which I think should be
> sufficient?
>
> I don't know how proper test cases are created, but here's a description of
> each issue, in the order the patches are given below.
I hope someone can turn this into tests. It's clear that this is code
where various options values and user actions create many different
situations, each of which has an expected behavior. And a fix for one
situation can easily break it for another.
> Below I'm using "gvim.exe --clean" on Windows 10, and using vim's
> source files as an example.
[...]
About using float: that would make this a lot simpler. However, we
still have FEAT_FLOAT as an optional feature. Perhaps we should first
look into graduating FEAT_FLOAT, as I think just about any platform
supports float these days, and the extra cost is bearable, even in the
tiny version.
--
For a moment, nothing happened.
Then, after a second or so, nothing continued to happen.
-- 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.
