On Sep 4, 2013 6:16 AM, "Ben Fritz" <[email protected]> wrote: > > On Tuesday, September 3, 2013 3:30:51 PM UTC-5, ZyX wrote: > > > > The problem here is not gaps, they are standable. In fact, I have gaps problem with these characters too, though it is different gaps problem (gap between input with sign or line number and adjacent lines). The real problem is incorrect diff, and this is not. > > Ah, so would I be correct to phrase the problem as "enough gaps on one side of a diff can make the other side align the incorrect line content"?
I guess no. You cannot see this on screenshot, but such tall characters do not cause stairs. That means line height is the same as the tallest character. And that also means diff is incorrect due to too tall lines. And this stacks with gaps... Screenshots were taken from Opera (12.*). But the only thing that differs in firefox is that gaps are a few pixels smaller. Chromium does not have gaps. But lines with some characters are still too tall to cause problems. You can check by yourself: file used to generate diff is http://sourceforge.net/p/formatvim/code/ci/default/tree/test/concealed.tex. > -- > -- > 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/groups/opt_out. -- -- 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/groups/opt_out.
