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>

1 files changed, 24 insertions, 0 deletions

diff --git a/konsole/konsole/TEWidget.cpp b/konsole/konsole/TEWidget.cpp
index 52cd1236b..026ee2df8 100644
--- a/konsole/konsole/TEWidget.cpp
+++ b/konsole/konsole/TEWidget.cpp
@@ -308,6 +308,19 @@ void TEWidget::fontChange(const TQFont &)
   update();
 }
 
+void TEWidget::biggerFont(void) {
+    TQFont f = getVTFont();
+    f.setPointSize( f.pointSize() + 1 );
+    setVTFont( f );
+}
+
+void TEWidget::smallerFont(void) {
+    TQFont f = getVTFont();
+    if ( f.pointSize() < 6 ) return;      // A minimum size
+    f.setPointSize( f.pointSize() - 1 );
+    setVTFont( f );
+}
+
 void TEWidget::setVTFont(const TQFont& f)
 {
   TQFont font = f;
@@ -1695,6 +1708,17 @@ void TEWidget::wheelEvent( TQWheelEvent* ev )
   if (ev->orientation() != Qt::Vertical)
     return;
 
+  if (ev->state() & ControlButton) {
+      if (ev->delta() > 0) {
+          biggerFont();
+      }
+      else {
+          smallerFont();
+      }
+      ev->accept();
+      return;
+  }
+
   if ( mouse_marks )
   {
 		if (!screen || screen->hasScroll() || (scrollbar->maxValue() == 0 && screen_num == 0))