console/options: kill -> replay_kill_extra

@cortesi renamed the kill option to replay_kill_extra in b0213a2, but
missed a usage here because it was in a string. This fixes opening the
options menu in console.
This commit is contained in:
Doug Freed 2016-09-17 20:10:08 -04:00 committed by GitHub
parent d5c7f78b24
commit 3130d58267
1 changed files with 1 additions and 1 deletions

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",