From 999008e46e1169f875a5d5b37f50c36a8ddcc10f Mon Sep 17 00:00:00 2001
From: Andreas Huber <andreas.huber@lucares.de>
Date: Thu, 28 Oct 2021 18:37:10 +0200
Subject: [PATCH] =?UTF-8?q?support=20files=20over=202=C2=A0GB?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ScaledScrollBar.py | 36 ++++++++++++++++++++++++++++++++++++
 bigtext.py         |  3 ++-
 2 files changed, 38 insertions(+), 1 deletion(-)
 create mode 100644 ScaledScrollBar.py

diff --git a/ScaledScrollBar.py b/ScaledScrollBar.py
new file mode 100644
index 0000000..89afda4
--- /dev/null
+++ b/ScaledScrollBar.py
@@ -0,0 +1,36 @@
+import math
+
+from PyQt6.QtWidgets import QScrollBar
+import logging
+
+log = logging.getLogger("scaledScrollBar")
+
+
+class ScaledScrollBar(QScrollBar):
+    is_huge = False
+
+    def __init__(self):
+        super(ScaledScrollBar, self).__init__()
+        self.real_maximum = self.maximum()
+
+    def setValue(self, value: int) -> None:
+        if self.is_huge:
+            real_position = value / self.real_maximum
+            super().setValue(self.maximum() * real_position)
+        else:
+            super().setValue(value)
+
+    def setMaximum(self, maximum: int) -> None:
+        if maximum > 2 ** 31:
+            new_maximum = 1000 * math.log2(maximum)
+            super().setMaximum(new_maximum)
+            self.real_maximum = maximum
+
+            if not self.is_huge:
+                old_position = self.value() / self.maximum()
+                self.setValue(new_maximum * old_position)
+
+            self.is_huge = True
+        else:
+            self.is_huge = False
+            super().setMaximum(maximum)
diff --git a/bigtext.py b/bigtext.py
index 17beba1..72ce294 100644
--- a/bigtext.py
+++ b/bigtext.py
@@ -11,6 +11,7 @@ from PyQt6.QtGui import *
 from PyQt6.QtGui import QMouseEvent
 from PyQt6.QtWidgets import *
 
+from ScaledScrollBar import ScaledScrollBar
 from highlight import Highlight
 from highlight_regex import HighlightRegex
 from highlight_selection import HighlightSelection
@@ -80,7 +81,7 @@ class BigText(QWidget):
         self.h_scroll_bar.setMaximum(1)
         self.h_scroll_bar.valueChanged.connect(big_text.h_scroll_event)
 
-        self.v_scroll_bar = QScrollBar()
+        self.v_scroll_bar = ScaledScrollBar()
         self.v_scroll_bar.setPageStep(1)
         self.v_scroll_bar.valueChanged.connect(big_text.v_scroll_event)