changeset 80:384b301970ac

Set g_dirty flag in refresh() to ensure screen update after certain operations that do not depend on direct user input.
author Matti Hamalainen <ccr@tnsp.org>
date Thu, 05 Jul 2018 21:51:01 +0300
parents dda377b64984
children 7ee5e0c590bd
files Interface.pde
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Interface.pde	Thu Jul 05 21:26:09 2018 +0300
+++ b/Interface.pde	Thu Jul 05 21:51:01 2018 +0300
@@ -1032,6 +1032,7 @@
 
 
 void refresh() {
+    g_dirty = true;
     //refreshes all "dirty chars" and icon panels
     for (int i = 0; i < MX * MY; i++) {
         g_redo[i] = byte(0);