I'd prefer the change, personally. On Tue, Mar 13, 2018 at 8:56 AM, Bram Moolenaar <[email protected]> wrote:
> > Currently the :terminal command keeps the window open after the job > exists. The idea is that you have a chance to see the job output, you > might want to yank it. Closing the window automatically might mean you > loose that text, there is no way to get it back. > > However, in practice I find that I mostly want the window to close as > soon as the job finishes. So how about changing the default behavior? > > Currently: > :terminal requires "exit<CR>:q<CR>" to close > :terminal ++close requires "exit<CR>" to close > > With different default: > :terminal requires "exit<CR>" to close > :terminal ++noclose requires "exit<CR>:q<CR>" to close > > Good idea or bad idea? > > > -- > hundred-and-one symptoms of being an internet addict: > 2. You kiss your girlfriend's home page. > > /// 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. > -- -- 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.
