possible workaround for lagging GUI?

2023-11-13 01:24:58 +01:00 · 2023-11-13 01:24:58 +01:00 · 425e184d0e
commit 425e184d0e
--- a/src/window/overview-page/overview-view.c
+++ b/src/window/overview-page/overview-view.c
@ -177,8 +177,9 @@ input_changed (GtkWidget *self,
              overview->input_timeout_id = g_timeout_add (100,
                                                          input_timeout_signal,
                                                          overview);
-              picplanner_overview_remove_map_content (overview);
            }
+          //picplanner_overview_remove_map_content (overview);
+          // TODO: Remove content asynchronous?
          overview->input_count++;
        }
      else