diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-10 12:37:09 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-10 12:37:09 +0200 |
| commit | 8670b7d2e6e4c6063bc86b24998721a3726949d6 (patch) | |
| tree | f6175e9209b7ea5479e826bd2023bf3b5749e418 /src/ui/metrics.h | |
| parent | d36529d053f7e4f2915e51e7cfbf01aa1c80adf9 (diff) | |
Edge-dragging preference panels
Diffstat (limited to 'src/ui/metrics.h')
0 files changed, 0 insertions, 0 deletions