itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Use the term 'zero padded' instead of 'padded' in prefs key binding and terminal pop up menu, to be consistent with the doc.

This commit is contained in:
Phi 2020-08-22 11:28:06 +02:00
parent 527a8df76c
commit e8c366ae54
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
terminatorlib/prefseditor.py
View File

@ -166,7 +166,7 @@ class PrefsEditor:
'broadcast_group' : _('Broadcast key presses to group'),
'broadcast_all' : _('Broadcast key events to all'),
'insert_number' : _('Insert terminal number'),
'insert_padded' : _('Insert padded terminal number'),
'insert_padded' : _('Insert zero padded terminal number'),
'edit_window_title': _('Edit window title'),
'edit_terminal_title': _('Edit terminal title'),
'edit_tab_title' : _('Edit tab title'),

2
terminatorlib/terminal.py
View File

@ -555,7 +555,7 @@ class Terminal(Gtk.VBox):
item.connect('activate', lambda x: self.emit('enumerate', False))
menu.append(item)
item = Gtk.MenuItem.new_with_mnemonic(_('Insert _padded terminal number'))
item = Gtk.MenuItem.new_with_mnemonic(_('Insert zero _padded terminal number'))
item.connect('activate', lambda x: self.emit('enumerate', True))
menu.append(item)