From 28a3d87591037c8699677b4f03cc03d7608fafef Mon Sep 17 00:00:00 2001 From: "Adam D. Ruppe" Date: Tue, 28 Sep 2021 17:19:49 -0400 Subject: [PATCH] better windows scrolling --- minigui.d | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/minigui.d b/minigui.d index 348483f..8ef333c 100644 --- a/minigui.d +++ b/minigui.d @@ -4000,8 +4000,10 @@ class ScrollableWidget : Widget { // the event loop doesn't seem to carry on with a requested redraw.. // so we request it to get our dirty bit set... redraw(); + // then we need to immediately actually redraw it too for instant feedback to user - //actualRedraw(); + if(parentWindow) + parentWindow.actualRedraw(); } break; default: @@ -4614,8 +4616,8 @@ class ScrollableContainerWidget : ContainerWidget { // the event loop doesn't seem to carry on with a requested redraw.. // so we request it to get our dirty bit set... // then we need to immediately actually redraw it too for instant feedback to user - //if(redrawRequested) - //actualRedraw(); + if(parentWindow) + parentWindow.actualRedraw(); break; default: } @@ -6929,8 +6931,8 @@ class Window : Widget { // the event loop doesn't seem to carry on with a requested redraw.. // so we request it to get our dirty bit set... // then we need to immediately actually redraw it too for instant feedback to user - //if(redrawRequested) - //actualRedraw(); + if(parentWindow) + parentWindow.actualRedraw(); break; default: }