replacement in text.lua at line 154
[3.121]→[3.1:35](∅→∅),
[3.173]→[3.1:35](∅→∅),
[3.732]→[3.1:35](∅→∅),
[3.8394]→[3.1:35](∅→∅),
[3.57146]→[3.1:35](∅→∅),
[3.627]→[3.1:35](∅→∅) − --== shortcuts that mutate text
+ --== shortcuts that mutate text (must schedule_save)
edit in text.lua at line 163
+ record_undo_event(State, {before=before, after=snapshot(State, before_line, State.cursor1.line)})
edit in text.lua at line 165
[3.28]→[3.1211:1313](∅→∅) − record_undo_event(State, {before=before, after=snapshot(State, before_line, State.cursor1.line)})
edit in text.lua at line 174
edit in text.lua at line 175
edit in text.lua at line 222
+ record_undo_event(State, {before=before, after=snapshot(State, State.cursor1.line)})
edit in text.lua at line 224
[3.108]→[3.1586:1675](∅→∅) − record_undo_event(State, {before=before, after=snapshot(State, State.cursor1.line)})
edit in text.lua at line 256
[3.183]→[3.137:162](∅→∅),
[3.4265]→[3.137:162](∅→∅) edit in text.lua at line 257
edit in source_text.lua at line 237
[3.99142]→[3.99142:99167](∅→∅) edit in source_text.lua at line 238
edit in source_text.lua at line 248
[3.99928]→[3.99928:99953](∅→∅) edit in source_text.lua at line 249
edit in source_text.lua at line 296
[2.3234]→[3.102911:102936](∅→∅),
[3.102911]→[3.102911:102936](∅→∅) edit in source_text.lua at line 297
edit in source_text.lua at line 330
[3.105341]→[3.105341:105366](∅→∅) edit in source_text.lua at line 331
edit in source_edit.lua at line 192
[3.20891]→[3.20891:20935](∅→∅) edit in source_edit.lua at line 193
edit in source_edit.lua at line 302
[3.2541]→[3.22438:22463](∅→∅),
[3.22438]→[3.22438:22463](∅→∅) edit in source_edit.lua at line 306
edit in source_edit.lua at line 494
+ record_undo_event(State, {before=before, after=snapshot(State, before_line, State.cursor1.line)})
edit in source_edit.lua at line 496
[3.162997]→[3.162997:163099](∅→∅) − record_undo_event(State, {before=before, after=snapshot(State, before_line, State.cursor1.line)})
edit in edit.lua at line 187
edit in edit.lua at line 188
edit in edit.lua at line 298
[3.5557]→[3.420:445](∅→∅),
[3.68]→[3.420:445](∅→∅) edit in edit.lua at line 302
edit in edit.lua at line 493
+ record_undo_event(State, {before=before, after=snapshot(State, before_line, State.cursor1.line)})
edit in edit.lua at line 495
[3.577]→[3.2710:2812](∅→∅) − record_undo_event(State, {before=before, after=snapshot(State, before_line, State.cursor1.line)})