forks
/
arsd
mirror of https://github.com/adamdruppe/arsd.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

better windows scrolling

This commit is contained in:
Adam D. Ruppe 2021-09-28 17:19:49 -04:00
parent de78fd2133
commit 28a3d87591
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
minigui.d
View File

@ -4000,8 +4000,10 @@ class ScrollableWidget : Widget {
// the event loop doesn't seem to carry on with a requested redraw.. // the event loop doesn't seem to carry on with a requested redraw..
// so we request it to get our dirty bit set... // so we request it to get our dirty bit set...
redraw(); redraw();
// then we need to immediately actually redraw it too for instant feedback to user // then we need to immediately actually redraw it too for instant feedback to user
//actualRedraw(); if(parentWindow)
parentWindow.actualRedraw();
} }
break; break;
default: default:
@ -4614,8 +4616,8 @@ class ScrollableContainerWidget : ContainerWidget {
// the event loop doesn't seem to carry on with a requested redraw.. // the event loop doesn't seem to carry on with a requested redraw..
// so we request it to get our dirty bit set... // so we request it to get our dirty bit set...
// then we need to immediately actually redraw it too for instant feedback to user // then we need to immediately actually redraw it too for instant feedback to user
//if(redrawRequested) if(parentWindow)
//actualRedraw(); parentWindow.actualRedraw();
break; break;
default: default:
} }
@ -6929,8 +6931,8 @@ class Window : Widget {
// the event loop doesn't seem to carry on with a requested redraw.. // the event loop doesn't seem to carry on with a requested redraw..
// so we request it to get our dirty bit set... // so we request it to get our dirty bit set...
// then we need to immediately actually redraw it too for instant feedback to user // then we need to immediately actually redraw it too for instant feedback to user
//if(redrawRequested) if(parentWindow)
//actualRedraw(); parentWindow.actualRedraw();
break; break;
default: default:
} }