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 /po/sk.po | |
| 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 'po/sk.po')
0 files changed, 0 insertions, 0 deletions