diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-04 17:20:22 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-11-04 17:20:22 +0200 |
commit | cdf6d4031c678e698c03b397e90e7dd58e989e1b (patch) | |
tree | 3d598cceabdaf63fee66210861f5fc3808251ea6 /src/ui/sidebarwidget.c | |
parent | 6b825b9764c3d0ebdd1c27c83c48c199c78d9f66 (diff) |
SidebarWidget: Document size while resizing
Ensure that the document size gets updated at least when the sidebar resize finishes. During the resize the updates are limited because document layout is done in the UI thread presently; it would get choppy with long documents.
Diffstat (limited to 'src/ui/sidebarwidget.c')
-rw-r--r-- | src/ui/sidebarwidget.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ui/sidebarwidget.c b/src/ui/sidebarwidget.c index c8571589..88ffffba 100644 --- a/src/ui/sidebarwidget.c +++ b/src/ui/sidebarwidget.c | |||
@@ -500,6 +500,8 @@ static iBool processEvent_SidebarWidget_(iSidebarWidget *d, const SDL_Event *ev) | |||
500 | setFlags_Widget(d->resizer, pressed_WidgetFlag, iFalse); | 500 | setFlags_Widget(d->resizer, pressed_WidgetFlag, iFalse); |
501 | setBackgroundColor_Widget(d->resizer, none_ColorId); | 501 | setBackgroundColor_Widget(d->resizer, none_ColorId); |
502 | setMouseGrab_Widget(NULL); | 502 | setMouseGrab_Widget(NULL); |
503 | /* Final size update in case it was resized. */ | ||
504 | updateSize_DocumentWidget(document_App()); | ||
503 | refresh_Widget(d->resizer); | 505 | refresh_Widget(d->resizer); |
504 | } | 506 | } |
505 | } | 507 | } |