]> git.tuebingen.mpg.de Git - paraslash.git/commit
gui: Avoid bad terminal state with xterm.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 5 Mar 2016 20:39:47 +0000 (21:39 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 13 Mar 2016 17:19:00 +0000 (18:19 +0100)
commitbe46d3b63c855fe63ecc6feb7c4a2d3edab92307
tree9021e4b1fd09730223366d9ead812c1bc33e4b7e
parentec7552f87eb959b007bd0ed3642e5ccc2faa4d39
gui: Avoid bad terminal state with xterm.

If para_gui is signalled in external mode, and the running program
has set the mouse mask to receive mouse events, mouse buttons
(copy and paste) might not work after para_gui exits. This has
been observed at least with xterm and aumix as the external program.

Setting an all-one mask seems to cure the problem.
gui.c