Apply slightly modified patch from Kees Cook which allows configuration of VTE's alternate screen scrolling. Closes LP #558832
This commit is contained in:
parent
23d0ae64c1
commit
29015d7969
|
@ -1,3 +1,6 @@
|
||||||
|
terminator UNRELEASED:
|
||||||
|
* Add preferences support for alternate_screen_scroll (LP: #558832).
|
||||||
|
|
||||||
terminator 0.92:
|
terminator 0.92:
|
||||||
* Lots of juicy bug fixes
|
* Lots of juicy bug fixes
|
||||||
* Implement the Palette section of the Profile preferences
|
* Implement the Palette section of the Profile preferences
|
||||||
|
|
|
@ -173,6 +173,7 @@ DEFAULTS = {
|
||||||
'scroll_on_output' : True,
|
'scroll_on_output' : True,
|
||||||
'scrollback_lines' : 500,
|
'scrollback_lines' : 500,
|
||||||
'scrollback_infinite' : False,
|
'scrollback_infinite' : False,
|
||||||
|
'alternate_screen_scroll' : True,
|
||||||
'exit_action' : 'close',
|
'exit_action' : 'close',
|
||||||
'palette' : '#2E2E34343636:#CCCC00000000:\
|
'palette' : '#2E2E34343636:#CCCC00000000:\
|
||||||
#4E4E9A9A0606:#C4C4A0A00000:#34346565A4A4:#757550507B7B:#060698209A9A:\
|
#4E4E9A9A0606:#C4C4A0A00000:#34346565A4A4:#757550507B7B:#060698209A9A:\
|
||||||
|
|
|
@ -2184,10 +2184,27 @@
|
||||||
<object class="GtkTable" id="table27">
|
<object class="GtkTable" id="table27">
|
||||||
<property name="visible">True</property>
|
<property name="visible">True</property>
|
||||||
<property name="border_width">12</property>
|
<property name="border_width">12</property>
|
||||||
<property name="n_rows">5</property>
|
<property name="n_rows">6</property>
|
||||||
<property name="n_columns">2</property>
|
<property name="n_columns">2</property>
|
||||||
<property name="column_spacing">12</property>
|
<property name="column_spacing">12</property>
|
||||||
<property name="row_spacing">6</property>
|
<property name="row_spacing">6</property>
|
||||||
|
<child>
|
||||||
|
<object class="GtkCheckButton" id="alternate_screen_scroll_checkbutton">
|
||||||
|
<property name="label" translatable="yes">Use keystrokes to scroll on _alternate screen</property>
|
||||||
|
<property name="visible">True</property>
|
||||||
|
<property name="can_focus">True</property>
|
||||||
|
<property name="receives_default">False</property>
|
||||||
|
<property name="use_underline">True</property>
|
||||||
|
<property name="draw_indicator">True</property>
|
||||||
|
<signal name="toggled" handler="on_alternate_screen_scroll_checkbutton_toggled"/>
|
||||||
|
</object>
|
||||||
|
<packing>
|
||||||
|
<property name="right_attach">2</property>
|
||||||
|
<property name="top_attach">5</property>
|
||||||
|
<property name="bottom_attach">6</property>
|
||||||
|
<property name="y_options"></property>
|
||||||
|
</packing>
|
||||||
|
</child>
|
||||||
<child>
|
<child>
|
||||||
<object class="GtkCheckButton" id="scroll_on_keystroke_checkbutton">
|
<object class="GtkCheckButton" id="scroll_on_keystroke_checkbutton">
|
||||||
<property name="label" translatable="yes">Scroll on _keystroke</property>
|
<property name="label" translatable="yes">Scroll on _keystroke</property>
|
||||||
|
|
|
@ -440,6 +440,9 @@ class PrefsEditor:
|
||||||
# Scroll on keystroke
|
# Scroll on keystroke
|
||||||
widget = guiget('scroll_on_keystroke_checkbutton')
|
widget = guiget('scroll_on_keystroke_checkbutton')
|
||||||
widget.set_active(self.config['scroll_on_keystroke'])
|
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
|
## Compatibility tab
|
||||||
# Backspace key
|
# Backspace key
|
||||||
|
@ -529,6 +532,11 @@ class PrefsEditor:
|
||||||
self.config['scroll_background'] = widget.get_active()
|
self.config['scroll_background'] = widget.get_active()
|
||||||
self.config.save()
|
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):
|
def on_scroll_on_keystroke_checkbutton_toggled(self, widget):
|
||||||
"""Scroll on keystrong setting changed"""
|
"""Scroll on keystrong setting changed"""
|
||||||
self.config['scroll_on_keystroke'] = widget.get_active()
|
self.config['scroll_on_keystroke'] = widget.get_active()
|
||||||
|
|
Loading…
Reference in New Issue