Elimar Riesebieter wrote:

> > Hi all,
> > 
> > compiling vim 8.1.0315 on arch i386 gives the following failure:
> > 
> > >From test_search.vim:
> > Found errors in Test_incsearch_substitute_dump():
> > function 
> > RunTheTest[40]..Test_incsearch_substitute_dump[69]..VerifyScreenDump line 
> > 14: See dump file difference: call 
> > term_dumpdiff("Test_incsearch_substitute_07.dump.failed", 
> > "dumps/Test_incsearch_substitute_07.dump")
> 
> 
> The diff is as follows:
> 
> 
> --- ./src/testdir/dumps/Test_incsearch_substitute_07.dump       2018-08-21 
> 21:58:13.000000000 +0200
> +++ ./src/vim-gtk3/testdir/Test_incsearch_substitute_07.dump.failed     
> 2018-08-22 03:11:40.341265509 +0200
> @@ -6,4 +6,4 @@
>  |f|o@1| |9| @64
>  |f|o@1| |1|0| @63
>  |b+9&&|a|r| +8&&|1@1| @63
> -|:+0&&|9|,|1@1|s|/|b|a|r> @59
> +|:+0&&|9|,|1@1|s|/|b|a|r> @31| @1| @25

Now that is weird, it's the same number of spaces but encoded
differently.  Looks like there is some attribute that's different but is
not reflected in the screendump.  Can you do some debugging on this?
It's hard for me, since I cannot reproduce it.

-- 
Mrs Abbott: I'm a paediatrician.
     Basil: Feet?
Mrs Abbott: Children.
     Sybil: Oh, Basil!
     Basil: Well, children have feet, don't they? That's how they move
            around, my dear. You must take a look next time, it's most
            interesting.                               (Fawlty Towers)

 /// 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.

Raspunde prin e-mail lui