()
| 193 | }; |
| 194 | push_scene_undo_snapshot(state); |
| 195 | state.doc_text = next; |
| 196 | let _ = cached_scene_doc_shared(&state.doc_text); |
| 197 | state.dirty = true; |
| 198 | mark_active_scene_dirty(state); |
| 199 | state.log = format!("redo\n{} left", state.scene_redo_stack.len()); |
| 200 | true |
| 201 | } |
| 202 | |
| 203 | fn mark_active_scene_dirty(state: &mut EditorState) { |