diff --git a/terminatorlib/config.py b/terminatorlib/config.py index 30e6ebcf..ed11a03d 100755 --- a/terminatorlib/config.py +++ b/terminatorlib/config.py @@ -161,7 +161,9 @@ DEFAULTS = { 'new_terminator' : 'i', 'broadcast_off' : '', 'broadcast_group' : '', - 'broadcast_all' : '' + 'broadcast_all' : '', + 'insert_number' : '', + 'insert_padded' : '' }, 'profiles': { 'default': { diff --git a/terminatorlib/prefseditor.py b/terminatorlib/prefseditor.py index 3869012d..4e01dfd8 100755 --- a/terminatorlib/prefseditor.py +++ b/terminatorlib/prefseditor.py @@ -126,7 +126,9 @@ class PrefsEditor: 'new_terminator' : 'Spawn a new Terminator process', 'broadcast_off' : 'Don\'t broadcast key presses', 'broadcast_group' : 'Broadcast key presses to group', - 'broadcast_all' : 'Broadcast key events to all' + 'broadcast_all' : 'Broadcast key events to all', + 'insert_number' : 'Insert terminal number', + 'insert_padded' : 'Insert zero padded terminal number' } def __init__ (self, term): diff --git a/terminatorlib/terminal.py b/terminatorlib/terminal.py index dd58fd9a..8ec08da0 100755 --- a/terminatorlib/terminal.py +++ b/terminatorlib/terminal.py @@ -1634,6 +1634,12 @@ class Terminal(gtk.VBox): def key_broadcast_all(self): self.set_groupsend(None, self.terminator.groupsend_type['all']) + def key_insert_number(self): + self.emit('enumerate', False) + + def key_insert_padded(self): + self.emit('enumerate', True) + # End key events gobject.type_register(Terminal)