diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-15 22:38:13 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-15 22:38:13 +0300 |
| commit | afce90c9f6b52db97de29824d1afd1a0742550df (patch) | |
| tree | c22eeafe577995215ef6edf448a35f8d8328cb8d /src/ui/metrics.h | |
| parent | d268545d12db5b02ee5975acb311d5b3cd875d6a (diff) | |
Mobile: Various improvements and fixes
- fill the safe area with theme background
- don't set button hover states if dragging/scrolling
- edge-draggable widgets must be flagged as such
- Preferences top panel offset matches sibling panels' offset
- allow toolbar to unhide when document is not scrollable
Diffstat (limited to 'src/ui/metrics.h')
0 files changed, 0 insertions, 0 deletions