I think I understand now. Maybe a ignore suboption for the diffoption setting that takes a buffer name as pattern?
> Am 11.10.2018 um 08:23 schrieb Michael Norton <[email protected]>: > > Oh, sorry! Here you go. > > https://github.com/vim/vim/pull/3527 > >> On Thu, Oct 11, 2018, 12:07 AM Gary Johnson <[email protected]> wrote: >> On 2018-10-10, flarn2006 wrote: >> > Screenshots added. Will add help next. >> >> Screenshots are added where? Many people, including me, are >> following this discussion on the vim_dev email list, where it >> belongs. You don't need to send the screenshots to the list, but >> URLs would be nice. >> >> Regards, >> Gary >> >> -- >> -- >> 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 a topic in the >> Google Groups "vim_dev" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/vim_dev/9CwgjallJDg/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> [email protected]. >> For more options, visit https://groups.google.com/d/optout. > > -- > -- > 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. -- -- 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.
