Hello Hayaki, hello Bram, I've came across this patch (via the todo list) and it would be awesome to have this feature, which hopefully works with urxvt then, too.
The patch does not apply anymore cleanly (which is not surprising giving its age), but might be easy to refresh/re-roll. @Hayaki: do you have a newer patch available? Regards, Daniel. Am Dienstag, 23. April 2013 22:37:32 UTC+2 schrieb Bram Moolenaar: > Hayaki Saito wrote: > > > Hello, lists > > > > I wrote a patch for adding support for focus reporting mode (Xterm / > > private mode 1004) which works on xterm compatible terminals. > > > > When this feature is enabled by the private mode sequence > > "\033[?1004h", Some xterm compatible terminals comes to send <Esc>[I > > (focus in event) and <Esc>[O (focus out event). I think they should be > > corresponded with FocusGained/FocusLost event and should be handled > > from VimScript context. > > > > According to vim documents, FocusGained/FocusLost event is supported > > by "Only for the GUI version and a few console versions". > > These days, the focus reporting feature is supported by some unix > > terminals such as Xterm, mlterm, TeraTerm, MinTTY, iTerm2, tty.js, > > RLogin,... and so on. Recently tmux 1.8 also supports this. Please try > > it on them if you are interested. > > Thanks for the patch. I will add it to the todo list. > > > -- > hundred-and-one symptoms of being an internet addict: > 216. Your pet rock leaves home. > > /// 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.
