On Di, 29 Aug 2017, Bram Moolenaar wrote: > > Patch 8.0.1013 > Problem: A terminal window with a running job behaves different from a > window containing a changed buffer. > Solution: Do not set 'bufhidden' to "hide". Fix that a buffer where a > terminal used to run is listed as "[Scratch]". > Files: src/terminal.c, runtime/doc/terminal.txt, src/buffer.c
I wonder if this caused a failure on the win32-installer repository: ihttps://ci.appveyor.com/project/chrisbra/vim-win32-installer/build/464/job/79q857fai5kadfhx#L1674 >From test_terminal.vim: Found errors in Test_finish_open_close(): Caught exception in Test_finish_open_close(): Vim(close):E948: Job still running (add ! to end the job) @ function RunTheTest[24]..Test_finish_open_close, line 29 Found errors in Test_terminal_hide_buffer(): Caught exception in Test_terminal_hide_buffer(): Vim(quit):E948: Job still running (add ! to end the job) @ function RunTheTest[24]..Test_terminal_hide_buffer, line 2 TEST FAILURE NMAKE : fatal error U1077: 'if' : return code '0x1' Stop. Command exited with code 1 BTW: I see a couple of warnings at terminal.c: ,---- | misc1.c(3760): warning C4047: '==': 'int' differs in levels of indirection from 'void *' | terminal.c(1284): warning C4267: 'function': conversion from 'size_t' to 'int', possible loss of data | terminal.c(1295): warning C4267: 'function': conversion from 'size_t' to 'int', possible loss of data | terminal.c(1854): warning C4267: 'function': conversion from 'size_t' to 'int', possible loss of data `---- Best, Christian -- Es ist nicht verwunderlich, daß die Ägypter die Pyramiden ohne Räder bauten. Erstens möchte wohl kaum jemand in seinem Grab umherfahren und zweitens würden Pyramiden mit Rädern total bescheuert aussehen. -- -- 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.
