From 6ec295cdbc918722313040ea623b1432ee90e935 Mon Sep 17 00:00:00 2001 From: Matt Rose Date: Fri, 11 Sep 2020 20:47:57 -0400 Subject: [PATCH] add preferences keybindings --- terminatorlib/config.py | 1 + terminatorlib/prefseditor.py | 1 + terminatorlib/terminal.py | 4 ++++ 3 files changed, 6 insertions(+) diff --git a/terminatorlib/config.py b/terminatorlib/config.py index 4abc564b..34e7f8d3 100644 --- a/terminatorlib/config.py +++ b/terminatorlib/config.py @@ -195,6 +195,7 @@ DEFAULTS = { 'layout_launcher' : 'l', 'next_profile' : '', 'previous_profile' : '', + 'preferences' : '', 'help' : 'F1' }, 'profiles': { diff --git a/terminatorlib/prefseditor.py b/terminatorlib/prefseditor.py index c77ab7c9..97c8ed2b 100755 --- a/terminatorlib/prefseditor.py +++ b/terminatorlib/prefseditor.py @@ -174,6 +174,7 @@ class PrefsEditor: 'layout_launcher' : _('Open layout launcher window'), 'next_profile' : _('Switch to next profile'), 'previous_profile' : _('Switch to previous profile'), + 'preferences' : _('Open the Preferences window'), 'help' : _('Open the manual') } diff --git a/terminatorlib/terminal.py b/terminatorlib/terminal.py index 30639ba1..6acf4552 100644 --- a/terminatorlib/terminal.py +++ b/terminatorlib/terminal.py @@ -23,6 +23,7 @@ from .factory import Factory from .terminator import Terminator from .titlebar import Titlebar from .terminal_popup_menu import TerminalPopupMenu +from .prefseditor import PrefsEditor from .searchbar import Searchbar from .translation import _ from .signalman import Signalman @@ -1988,6 +1989,9 @@ class Terminal(Gtk.VBox): def key_line_down(self): self.scroll_by_line(1) + def key_preferences(self): + PrefsEditor(self) + def key_help(self): manual_index_page = manual_lookup() if manual_index_page: