From e8c366ae544337c28a3b3cc9731b1448a490a512 Mon Sep 17 00:00:00 2001 From: Phi Date: Sat, 22 Aug 2020 11:28:06 +0200 Subject: [PATCH] Use the term 'zero padded' instead of 'padded' in prefs key binding and terminal pop up menu, to be consistent with the doc. --- terminatorlib/prefseditor.py | 2 +- terminatorlib/terminal.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/terminatorlib/prefseditor.py b/terminatorlib/prefseditor.py index 89232b6d..6f693663 100755 --- a/terminatorlib/prefseditor.py +++ b/terminatorlib/prefseditor.py @@ -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'), diff --git a/terminatorlib/terminal.py b/terminatorlib/terminal.py index 82997aa4..dd2dd99f 100644 --- a/terminatorlib/terminal.py +++ b/terminatorlib/terminal.py @@ -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)