Merge pull request #1559 from dwfreed/patch-1

console/options: kill -> replay_kill_extra
This commit is contained in:
Thomas Kriechbaumer 2016-09-18 12:49:00 +02:00 committed by GitHub
commit 7d4ce1da98

View File

@ -115,7 +115,7 @@ class Options(urwid.WidgetWrap):
"Kill Extra",
"x",
lambda: master.options.replay_kill_extra,
master.options.toggler("kill")
master.options.toggler("replay_kill_extra")
),
select.Option(
"No Refresh",