diff options
author | japm48 <japm48@users.noreply.github.com> | 2020-04-14 15:48:06 +0200 |
---|---|---|
committer | mormj <34754695+mormj@users.noreply.github.com> | 2020-04-26 13:16:00 -0400 |
commit | d4309f372ddb601c6da19003a21a7d151ff339d6 (patch) | |
tree | eddbe00804e1d8465a45bb6f8a7a892f4a931db7 /grc/gui/Executor.py | |
parent | 9e678e4b7d0c8d914470d6be22413df27e5badb0 (diff) |
grc: use correct labels in log window context menu
Previously 'gtk-clear' and 'gtk-save' were shown.
Gtk.STOCK_* constants are deprecated in favor of translated strings.
But grc is English-only, so it makes sense to stick to the simple
hardcoded solution.
Diffstat (limited to 'grc/gui/Executor.py')
0 files changed, 0 insertions, 0 deletions