diff options
author | Mavridis Philippe <[email protected]> | 2022-10-16 16:16:59 +0300 |
---|---|---|
committer | Mavridis Philippe <[email protected]> | 2022-10-19 11:44:38 +0300 |
commit | a63df75361a3468c62a03ef55e6442d37603d381 (patch) | |
tree | c12fde9801cc0577d608ac93c97d8bcac0f9b3c5 /kicker | |
parent | 8234a0478a64c0ee5916ad7b2f039d907049299a (diff) | |
download | tdebase-a63df75361a3468c62a03ef55e6442d37603d381.tar.gz tdebase-a63df75361a3468c62a03ef55e6442d37603d381.zip |
Konsole Part: Ctrl+Mouse Scroll to change font size
Konsole: Move biggerFont() and smallerFont() into TEWidget
Signed-off-by: Mavridis Philippe <[email protected]>
Additional changes.
Signed-off-by: Michele Calgaro <[email protected]>
Diffstat (limited to 'kicker')
0 files changed, 0 insertions, 0 deletions