From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 1 May 2018 16:17:32 +0000 (+0200)
Subject: Merge branch 'refs/heads/t/gui-sigwinch'
X-Git-Tag: v0.6.2~9
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=c517cb88ae745c9be06ac5cd99236c4bae8575c9;hp=-c

Merge branch 'refs/heads/t/gui-sigwinch'

A single patch which removes a long standing issue of para_gui.

Cooking for half a year.

* refs/heads/t/gui-sigwinch:
  gui: Catch SIGWINCH.
---

c517cb88ae745c9be06ac5cd99236c4bae8575c9
diff --combined NEWS.md
index d0bd6585,d0bd6585..4fd9dcb4
--- a/NEWS.md
+++ b/NEWS.md
@@@ -1,6 -1,6 +1,13 @@@
  NEWS
  ====
  
++-------------------------------------------
++0.6.2 (to be accounced) "elastic diversity"
++-------------------------------------------
++
++- para_gui no longer waits up to one second to update the screen when
++the geometry of the terminal changes.
++
  ----------------------------------------
  0.6.1 (2017-09-23) "segmented iteration"
  ----------------------------------------