use wheel + ctrl to change font size

bigtext.py

@@ -148,8 +148,13 @@ class InnerBigText(QWidget):
 
     def wheelEvent(self, event: QWheelEvent):
         direction = 1 if event.angleDelta().y() < 0 else -1
-        # print("wheel event fired :) %s" % (direction))
-        self.scroll_by_lines(direction * 3)
+        if event.modifiers() == Qt.KeyboardModifier.ControlModifier:
+            font_size = min(max(4, self.model.settings.get_font_size()-direction),30)
+            self.model.settings.font_size(font_size)
+            self.update()
+        else:
+            # print("wheel event fired :) %s" % (direction))
+            self.scroll_by_lines(direction * 3)
 
     def scroll_by_lines(self, scroll_lines: int):
         self.scroll_lines = scroll_lines