Merge pull request #209 from mattrose/add-prefs-key

add preferences keybindings
This commit is contained in:
Matt Rose 2020-09-22 16:58:37 -04:00 committed by GitHub
commit 71d4713d61
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 0 deletions

View File

@ -195,6 +195,7 @@ DEFAULTS = {
'layout_launcher' : '<Alt>l',
'next_profile' : '',
'previous_profile' : '',
'preferences' : '',
'help' : 'F1'
},
'profiles': {

View File

@ -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')
}

View File

@ -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: