Hi Benjamin,I've tried your patch and it fixes the problem for me. Thanks a lot! Without the patch I used to encounter this bug every hour or so...
- Peter Odding -- 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
