gui.c: Reset terminal on shutdown in external mode.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 5 Mar 2016 20:35:59 +0000 (21:35 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 13 Mar 2016 17:19:00 +0000 (18:19 +0100)
commit0bc88a7bbfacdce3caa5dd26dabe046ab20b2f6d
treeda592dc6a53f779dd861254006c2cfb31a44d914
parentbe46d3b63c855fe63ecc6feb7c4a2d3edab92307
gui.c: Reset terminal on shutdown in external mode.

If para_gui receives a terminating signal while an external program
is running, the terminal might be left in an unusable state. This
patch handles this case by first returning to program mode, which
sets the terminal to in-curses state, then calling endwin().

The def_prog_mode() call made no sense here at all.
gui.c