diff options
author | Tor Andersson <tor@ccxvii.net> | 2023-02-23 11:59:33 +0100 |
---|---|---|
committer | Tor Andersson <tor@ccxvii.net> | 2023-02-23 11:59:33 +0100 |
commit | 476295272eaa5eac405f28cdd31799bf23d53506 (patch) | |
tree | 46a398cb42d7f37f8cda8fac86e0cc7fe2582c88 | |
parent | 3deaf7e3bfe4bbcfb81b90c92587e36f72c03362 (diff) | |
download | nevsky-476295272eaa5eac405f28cdd31799bf23d53506.tar.gz |
Allow undo across Command/Feed/Pay/Disband steps.
This is possible now since they are all in one go.
-rw-r--r-- | play.js | 1 | ||||
-rw-r--r-- | rules.js | 4 |
2 files changed, 2 insertions, 3 deletions
@@ -1839,7 +1839,6 @@ function sub_way_name(match, p1) { return `<span class="way_tip" onmouseenter="on_focus_way_tip(${x})" onmouseleave="on_blur_way_tip(${x})" onclick="on_click_way_tip(${x})">${n}</span>` } - function on_log(text) { let p = document.createElement("div") @@ -4596,7 +4596,7 @@ states.command = { }, end_command() { - clear_undo() + push_undo() end_command() }, @@ -10057,6 +10057,7 @@ states.feed = { set_lord_unfed(lord, 0) }, end_feed() { + push_undo() end_feed() }, card: action_held_event, @@ -10098,7 +10099,6 @@ states.feed_lord_shared = { } function end_feed() { - clear_undo() goto_pay() } |