diff options
| author | shivajiva101 <shivajiva101@hotmail.com> | 2017-11-18 13:58:08 +0000 |
|---|---|---|
| committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2017-11-18 14:58:08 +0100 |
| commit | 3f8e2e8c38c8f4fc2ba5d044ef445123db454d99 (patch) | |
| tree | f05a7a228ec6047c5047d2e055092c3e6df9ec17 /build/android/src/main/res/drawable-mdpi | |
| parent | 0780ee51c50235a462e47f4a4385cefcf1b48330 (diff) | |
| download | minetest-3f8e2e8c38c8f4fc2ba5d044ef445123db454d99.tar.gz minetest-3f8e2e8c38c8f4fc2ba5d044ef445123db454d99.tar.bz2 minetest-3f8e2e8c38c8f4fc2ba5d044ef445123db454d99.zip | |
Fix mousewheel behaviour in textarea (#6641)
Allowing scrolling with the mousewheel when the vertical scrollbar is
hidden, unnecessarily exposes oversized containers and newlines at the
end of the text. For example try scrolling over the textareas in the
pause menu. This PR addresses the issue by requiring the scrollbar to be
visible before allowing the scrolling with the mousewheel.
Diffstat (limited to 'build/android/src/main/res/drawable-mdpi')
0 files changed, 0 insertions, 0 deletions