diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-03-24 16:05:12 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-03-25 09:28:05 -0700 |
| commit | 69272eefa82493db2993d90cf82884dd5ee46ee2 (patch) | |
| tree | 980f3ca263df3206b8ec80adc65a7a7e90fbaead /scripts/android | |
| parent | 6629d046b713e27a85ce2ba69b436629ddcf9804 (diff) | |
| download | subsurface-69272eefa82493db2993d90cf82884dd5ee46ee2.tar.gz | |
mobile/profile: ensure profile opacity resets when zooming
It's possible for our code to think that the user wants to pan the
profile before realizing that the user actually is making a pinch
gesture. In that case the profile could get stuck in semi-transparent
mode. This prevents that from happening by explicitly resetting the
opacity to 1.0 when we start a pinch.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/android')
0 files changed, 0 insertions, 0 deletions