Ben Fritz wrote: > On Monday, April 10, 2017 at 3:40:21 PM UTC-5, Wolfgang Jeltsch wrote: > > Am Montag, den 10.04.2017, 08:32 -0700 schrieb Ben Fritz: > > > My mistake. I CAN reproduce the issue, I tested the wrong thing. Sorry > > > about that! I also see that pasting from the unnamed register, after a > > > series of deletes into an UPPERCASE named register, pastes only the > > > last delete instead of the entire named register. > > > > > > I agree it looks like a bug, and it looks like it's been around for a > > > while now! > > > > > > At least, the help text doesn't match the actual behavior. I think the > > > behavior described in the help text would be more useful than the > > > actual behavior. > > > > I also think that the behavior described in the help text would be more > > useful. > > > > Should I file a bug report somewhere? > > > > Posting to this list should be enough.
I have added an item in the todo list: Unnamed register only contains the last deleted text when appending deleted text to a register. (Wolfgang Jeltsch, reproduced by Ben Fritz, 2017 Apr 10) -- Luxury. We used to have to get out of the lake at three o'clock in the morning, clean the lake, eat a handful of hot gravel, go to work at the mill every day for tuppence a month, come home, and Dad would beat us around the head and neck with a broken bottle, if we were LUCKY! /// Bram Moolenaar -- b...@moolenaar.net -- 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 vim_dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.