diff --git a/ChangeLog b/ChangeLog index f2e04ba2..35177e95 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,6 @@ +terminator UNRELEASED: + * Add preferences support for alternate_screen_scroll (LP: #558832). + terminator 0.92: * Lots of juicy bug fixes * Implement the Palette section of the Profile preferences diff --git a/terminatorlib/config.py b/terminatorlib/config.py index 41132a60..8502fbd5 100755 --- a/terminatorlib/config.py +++ b/terminatorlib/config.py @@ -173,6 +173,7 @@ DEFAULTS = { 'scroll_on_output' : True, 'scrollback_lines' : 500, 'scrollback_infinite' : False, + 'alternate_screen_scroll' : True, 'exit_action' : 'close', 'palette' : '#2E2E34343636:#CCCC00000000:\ #4E4E9A9A0606:#C4C4A0A00000:#34346565A4A4:#757550507B7B:#060698209A9A:\ diff --git a/terminatorlib/preferences.glade b/terminatorlib/preferences.glade index 74557e25..968639b3 100644 --- a/terminatorlib/preferences.glade +++ b/terminatorlib/preferences.glade @@ -2184,10 +2184,27 @@ True 12 - 5 + 6 2 12 6 + + + Use keystrokes to scroll on _alternate screen + True + True + False + True + True + + + + 2 + 5 + 6 + + + Scroll on _keystroke diff --git a/terminatorlib/prefseditor.py b/terminatorlib/prefseditor.py index 75fc5662..9543c533 100755 --- a/terminatorlib/prefseditor.py +++ b/terminatorlib/prefseditor.py @@ -440,6 +440,9 @@ class PrefsEditor: # Scroll on keystroke widget = guiget('scroll_on_keystroke_checkbutton') widget.set_active(self.config['scroll_on_keystroke']) + # Scroll in alternate mode + widget = guiget('alternate_screen_scroll_checkbutton') + widget.set_active(self.config['alternate_screen_scroll']) ## Compatibility tab # Backspace key @@ -529,6 +532,11 @@ class PrefsEditor: self.config['scroll_background'] = widget.get_active() self.config.save() + def on_alternate_screen_scroll_checkbutton_toggled(self, widget): + """Scroll in alt-mode setting changed""" + self.config['alternate_screen_scroll'] = widget.get_active() + self.config.save() + def on_scroll_on_keystroke_checkbutton_toggled(self, widget): """Scroll on keystrong setting changed""" self.config['scroll_on_keystroke'] = widget.get_active()