Add scrolling speed adjust when pressing shift or shift+ctrl

annawinkler · May 9, 2019 · 0e2dbcb · 0e2dbcb
1 parent 6edf810
commit 0e2dbcb
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/guake/boxes.py b/guake/boxes.py
@@ -411,6 +411,24 @@ def add_scroll_bar(self):
         self.scroll.show()
         self.pack_start(self.scroll, False, False, 0)
 
+        self.terminal.handler_ids.append(
+            self.terminal.connect('scroll-event', self.__scroll_event_cb))
+
+    def __scroll_event_cb(self, widget, event):
+        # Adjust scrolling speed when adding "shift" or "shift + ctrl"
+        adj = self.scroll.get_adjustment()
+        page_size = adj.get_page_size()
+        if (event.get_state() & Gdk.ModifierType.SHIFT_MASK and
+                event.get_state() & Gdk.ModifierType.CONTROL_MASK):
+            # Ctrl + Shift + Mouse Scroll (4 pages)
+            adj.set_page_increment(page_size * 40)
+        elif event.get_state() & Gdk.ModifierType.SHIFT_MASK:
+            # Shift + Mouse Scroll (1 page)
+            adj.set_page_increment(page_size * 10)
+        else:
+            # Mouse Scroll
+            adj.set_page_increment(page_size)
+
     def get_terminal(self):
         return self.terminal
 

diff --git a/releasenotes/notes/add-scrolling-speed-9434dc74b52afb1b.yaml b/releasenotes/notes/add-scrolling-speed-9434dc74b52afb1b.yaml
@@ -0,0 +1,2 @@
+features:
+    - When scrolling with "shift" (1 page) or "shift + ctrl" (4 pages) it will be faster (#271)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		features:
		- When scrolling with "shift" (1 page) or "shift + ctrl" (4 pages) it will be faster (#271)