Konsole: Ctrl+Mouse Wheel to change font size #297
Merged
blu.256
merged 1 commits from feat/konsole-ctrl-scroll-font-size
into master
2 years ago
Loading…
Reference in new issue
There is no content yet.
Delete Branch 'feat/konsole-ctrl-scroll-font-size'
Deleting a branch is permanent. It CANNOT be undone. Continue?
Similar to TDE/tdelibs#180.
This is a feature I really miss in many TDE applications: holding Control and scrolling causes the font size to increase or decrease.
In this PR I had to add two new functions to the TEWidget API,
smallerFont()
andbiggerFont()
.feat/konsole-ctrl-scroll-font-sizeto Konsole: Ctrl+Mouse Scroll to change font size 2 years agoKonsole: Ctrl+Mouse Scroll to change font sizeto Konsole: Ctrl+Mouse Wheel to change font size 2 years agoI added additional changes into a second commit, which align the code of konsole and konsole_part. We can sqaush the commits before merging to master.
PR looks good and very useful!!
It looks good.
ab64242602
tob289c2cb5f
2 years agob289c2cb5f
to3d0a0486fb
2 years ago3d0a0486fb
toa63df75361
2 years agoa63df75361
into master 2 years agoMerged and backported.
Reviewers
a63df75361
.