diff options
| author | Mavridis Philippe <mavridisf@gmail.com> | 2022-10-16 15:55:45 +0300 |
|---|---|---|
| committer | Mavridis Philippe <mavridisf@gmail.com> | 2022-10-19 11:39:10 +0300 |
| commit | b00a91829a8a41264101bde7a26d00918931f165 (patch) | |
| tree | 7f578b3936b78432901f92274ed1f158340bf721 /pics/crystalsvg/cr128-device-smart_media_unmount.png | |
| parent | e9a9309722c81f47d5b82fe1dda627e99f1f89f9 (diff) | |
| download | tdelibs-b00a91829a8a41264101bde7a26d00918931f165.tar.gz tdelibs-b00a91829a8a41264101bde7a26d00918931f165.zip | |
Kate Part: Ctrl+Mouse Scroll to change font size
As seen in most applications out there. ;-)
Signed-off-by: Mavridis Philippe <mavridisf@gmail.com>
Fixed functionality of CTRL+Mouse Wheel when scrolling is not enabled.
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
(cherry picked from commit 819074a37969e373fa04bcdc306dcaa79cf31782)
Diffstat (limited to 'pics/crystalsvg/cr128-device-smart_media_unmount.png')
0 files changed, 0 insertions, 0 deletions