diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-22 14:10:51 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-22 14:11:08 +0300 |
commit | b53e1f203b57ab6deb088b50135ee49889356f84 (patch) | |
tree | df3121a3359ddcecc89b2db7b21ff0560d68f823 /src/ui/documentwidget.c | |
parent | 842f6b8dd3816c8d99ec3bad6ddf09aab0124bd2 (diff) |
DocumentWidget: Not scrollable until mouse moved
The hover widget needs updating if the currently visible tab changes. Normally the hover widget is only updated when the mouse has moved.
Diffstat (limited to 'src/ui/documentwidget.c')
-rw-r--r-- | src/ui/documentwidget.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c index 8e4e2752..b6f3b5ce 100644 --- a/src/ui/documentwidget.c +++ b/src/ui/documentwidget.c | |||
@@ -2683,6 +2683,7 @@ static iBool handleCommand_DocumentWidget_(iDocumentWidget *d, const char *cmd) | |||
2683 | updateSize_DocumentWidget(d); | 2683 | updateSize_DocumentWidget(d); |
2684 | showOrHidePinningIndicator_DocumentWidget_(d); | 2684 | showOrHidePinningIndicator_DocumentWidget_(d); |
2685 | updateFetchProgress_DocumentWidget_(d); | 2685 | updateFetchProgress_DocumentWidget_(d); |
2686 | updateHover_Window(window_Widget(w)); | ||
2686 | } | 2687 | } |
2687 | init_Anim(&d->sideOpacity, 0); | 2688 | init_Anim(&d->sideOpacity, 0); |
2688 | init_Anim(&d->altTextOpacity, 0); | 2689 | init_Anim(&d->altTextOpacity, 0); |