1963 - redraw if window size changes

This was important because somebody connecting on tmux would mess up the
environment.

1 files changed, 9 insertions, 3 deletions

diff --git a/070display.cc b/070display.cc
index 976be637..ce6d657f 100644
--- a/070display.cc
+++ b/070display.cc
@@ -335,8 +335,6 @@ case CHECK_FOR_INTERACTION: {
     break;
   }
   if (event_type == TB_EVENT_MOUSE) {
-//?     tb_shutdown(); //? 1
-//?     cerr << "AAA\n"; //? 1
     products.at(0).push_back(/*touch event*/2);
     products.at(0).push_back(event.key);  // which button, etc.
     products.at(0).push_back(event.y);  // row
@@ -344,7 +342,15 @@ case CHECK_FOR_INTERACTION: {
     products.at(1).push_back(/*found*/true);
     break;
   }
-  // ignore TB_EVENT_RESIZE events for now
+  if (event_type == TB_EVENT_RESIZE) {
+    products.at(0).push_back(/*resize event*/3);
+    products.at(0).push_back(event.w);  // width
+    products.at(0).push_back(event.h);  // height
+    products.at(0).push_back(0);
+    products.at(1).push_back(/*found*/true);
+    break;
+  }
+  assert(event_type == 0);
   products.at(0).push_back(0);
   products.at(0).push_back(0);
   products.at(0).push_back(0);