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 /play.js | |
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.
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 1 |
1 files changed, 0 insertions, 1 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") |