add preferences keybindings

terminatorlib/config.py

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

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

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: