Merge pull request #195 from mattrose/add_key_create_group

Key binding option for creating group in current terminal
This commit is contained in:
Matt Rose 2020-08-25 15:56:59 -04:00 committed by GitHub
commit 1ad579ce03
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 5 additions and 0 deletions

View File

@ -175,6 +175,7 @@ DEFAULTS = {
'reset' : '<Shift><Control>r',
'reset_clear' : '<Shift><Control>g',
'hide_window' : '<Shift><Control><Alt>a',
'create_group' : '',
'group_all' : '<Super>g',
'group_all_toggle' : '',
'ungroup_all' : '<Shift><Super>g',

View File

@ -154,6 +154,7 @@ class PrefsEditor:
'reset' : _('Reset the terminal'),
'reset_clear' : _('Reset and clear the terminal'),
'hide_window' : _('Toggle window visibility'),
'create_group' : _('Create new group'),
'group_all' : _('Group all terminals'),
'group_all_toggle' : _('Group/Ungroup all terminals'),
'ungroup_all' : _('Ungroup all terminals'),

View File

@ -1875,6 +1875,9 @@ class Terminal(Gtk.VBox):
def key_reset_clear(self):
self.vte.reset (True, True)
def key_create_group(self):
self.titlebar.create_group()
def key_group_all(self):
self.emit('group-all')