settmode(TMODE_COOK); and everything works.
Now I wonder where to find documentation about why those modes exist. Eg why should it not be possible to background Vim if a ex command is running? That solves the terminal issue. About gui/gtk: It looks like ZyX is right, another thread might be required. Either python or the ui_breakcheck must be run in a thread. Interfaces like "SNIFF" show that there is need for a threadsafe Vim, because there additional threads are started and mutexes are used. If threads would support async IO nicely, extensions like SNIFF could be implemented in a couple of scripting lines? I fear that ui_breakcheck which calls gui_mch_update does not only check for characters, but also runs VimL code - yes - it does. Eg the VimResize event. Now if Python calls into Vim and such VimResize event happens -> bang. So to achieve the goal - being able to abort Python,Ruby,.. scripts while gui is running it might be the case that some code has to be adopted. Is anybode there who has "deep vim knowledge" about all the related things - who wants to guide me ? I also don't see a reason why eg python's raw_input() should not work. If Vim is calling into python, forward all characters into python's STDIN .. should be doable? A much simpler solution would be using kill -SIGINT VIM_PID which could be documented. User's are likely to miss it. Anyway - when starting to do such changes - testing must happen, too. One of the problems would be that I don't have access to all the supported software (operating systems). So in fact I cannot start implementing any thread support without running huge risks for others. Thoughts ? Ideas? Who else wants to see more threading capabilities in Vim? Marc Weber -- -- 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/groups/opt_out.
