diff options
| -rw-r--r-- | DeductoActivity.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/DeductoActivity.py b/DeductoActivity.py index a29c9bd..88a29ab 100644 --- a/DeductoActivity.py +++ b/DeductoActivity.py @@ -262,7 +262,8 @@ class DeductoActivity(activity.Activity): self._false_button.set_tooltip( _('Show a pattern that does not match the rule.')) self.status.set_label( - _('Explore patterns with the %s and %s buttons.') % ('☑', '☒')) + _('Explore patterns with the %(1)s and %(2)s buttons.') % ( + '☑', '☒')) self._playing = False else: self._example_button.set_icon('example') |