diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-17 21:28:07 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-05-17 21:28:07 +0300 |
| commit | c94469c3b5e46fa15939de271e6a4e1cc812dea3 (patch) | |
| tree | 8ccb30ff4a48726dc945296a95d1d5007cf331dd /src/ui/metrics.h | |
| parent | ab10c23969bb7d7be73613d50ae2a3755da39fb0 (diff) | |
SidebarWidget: Animate show/hide
Also addressed clipping issues when using multiple roots.
Diffstat (limited to 'src/ui/metrics.h')
0 files changed, 0 insertions, 0 deletions