diff options
| author | Mavridis Philippe <mavridisf@gmail.com> | 2022-10-16 16:16:59 +0300 |
|---|---|---|
| committer | Mavridis Philippe <mavridisf@gmail.com> | 2022-10-19 11:48:37 +0300 |
| commit | dae747a14cedb1b67380bf54239ef1616eaabb01 (patch) | |
| tree | b019e45db1b624581c87d25d8a023b018c89db28 /kate/interfaces/pluginmanager.cpp | |
| parent | f620f70619f24f54fb5f5784a652cfd138146e88 (diff) | |
| download | tdebase-dae747a14cedb1b67380bf54239ef1616eaabb01.tar.gz tdebase-dae747a14cedb1b67380bf54239ef1616eaabb01.zip | |
Konsole Part: Ctrl+Mouse Scroll to change font size
Konsole: Move biggerFont() and smallerFont() into TEWidget
Signed-off-by: Mavridis Philippe <mavridisf@gmail.com>
Additional changes.
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
(cherry picked from commit a63df75361a3468c62a03ef55e6442d37603d381)
Diffstat (limited to 'kate/interfaces/pluginmanager.cpp')
0 files changed, 0 insertions, 0 deletions