diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-11-04 08:24:09 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-11-04 08:24:09 +0200 |
| commit | 37825eff3a026656014cc06cf17fcb1669c3ef8f (patch) | |
| tree | f4ae54c7130ae1b51f05152248962d2b2eb6eccd /debian/source/local-options | |
| parent | 8913f836cba97fdd509314456eca9fb0df7aa035 (diff) | |
Widget: Scroll overflow widgets via mouse hover
Useful for tall menus and dialogs on the desktop.
Diffstat (limited to 'debian/source/local-options')
0 files changed, 0 insertions, 0 deletions