On Thu, Jan 26, 2017 at 08:40:27PM +0100, Bram Moolenaar wrote: > > Johannes-Maria Kaltenbach wrote: > > > On Wed, Jan 25, 2017 at 01:53:54PM +0100, Johannes-Maria Kaltenbach wrote: > > > On Tue, Jan 24, 2017 at 03:58:14PM +0100, Bram Moolenaar wrote: > > > > Found it: part of the change was missing from the patch. > > > > So it worked for me but nobody else. > > > > > > Thanks. > > > I've updated now to vim-8.0.237 and it works fine. > > > > but (at least for me) it is better to keep 'set t_BE=' in the > > configuration file. The <PasteStart>/<PasteEnd> around pasted > > text is gone but if one yanks a whole line (or part of the line > > until the end of the line) with the mouse and pastes it in an > > xterm then the pasted text contains a ^M at the end instead > > of executing a 'return' (as was the old behaviour and the one > > I prefer instead of first deleting the ^M and then pressing > > return). > > [Only in command line (including searches), not while inserting > > in buffer.] > > I assume you are talking about the command line, or entering search.
yes, both. > Yes, it's intentional that the line break does not work like pressing > Enter. The idea is that you are pasting text, not a command. OK, so in the case of the end-of-line it was intended. > You are supposed to view the text before deciding to execute it. > The thread that started it mentioned that the source of the text may > give you something else than what you expected. In practice, what often > happens is that you accidentally copy the wrong text and include the > line break when that is not intended. Personally I prefer like it was in earlier versions but that's no problem since I can have this with 'set t_BE='. Thanks, Johannes-Maria -- -- You received this message from the "vim_use" 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_use" 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.
