]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
Merge branch 'refs/heads/t/gui-improvements'
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 15 May 2016 13:30:20 +0000 (15:30 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 15 May 2016 13:32:33 +0000 (15:32 +0200)
Improved wide-character support and fixes related to signal
handling. This topic branch was cooking in next for two months.

* refs/heads/t/gui-improvements:
  gui.c: Constify argument to find_cmd_byname().
  gui.c: Improve description of signal task.
  gui.c: Remove pointless return statement.
  gui.c: Remove silly warning on SIGINT.
  gui: Kill process group *before* shutting down curses.
  gui.c: Reset terminal on shutdown in external mode.
  gui: Avoid bad terminal state with xterm.
  gui.c: Constify local variables of add_spaces().
  Introduce sanitize_str().
  string.c: Simplify and rename wide character helpers.


No differences found