Hi Bram, 2017-7-16(Sun) 21:15:18 UTC+9 h_east: [...] > It seems to me that this patch has not been pushed to git. > > $ git log > ... > commit c4da113ef98dcfd6f2a088b1693c0317dcb5bf42 > Author: Bram Moolenaar <[email protected]> > Date: Sat Jul 15 19:39:43 2017 +0200 > > patch 8.0.0716: not easy to start Vim cleanly > > Problem: Not easy to start Vim cleanly without changing the viminfo > file. > Not possible to know whether the -i command line flag was > used. > Solution: Add the --clean command line argument. Add the 'viminfofile' > option. Add "-u DEFAULTS".
Ah, I understood. In the above, 8.0.0715 and 8.0.0716 were committed together. -- Best regards, Hirohito Higashi (h_east) > > commit a92522fbf3a49d06e08caf010f7d7b0f58d2e131 > Author: Bram Moolenaar <[email protected]> > Date: Sat Jul 15 15:21:38 2017 +0200 > > patch 8.0.0714: when a timer causes a command line redraw " goes missing > > Problem: When a timer causes a command line redraw the " that is > displayed > for CTRL-R goes missing. > Solution: Remember an extra character to display. > > ... > > patch 8.0.0715 is not displayed. > Could you confirm this? -- -- 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.
