Is the EditSession#fromJSON method using incorrect history properties?
Abierto
effort/small
p2
- Lenguaje dominante
- JavaScript
- Estrellas
- 27.1k
- Forks
- 5.3k
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
Link to code for reference:
https://github.com/ajaxorg/ace/blob/82eab6674ff58002fa2879349d8c802fad3d1aad/src/edit_session.js#L340
```
undoManager.$undoStack = session.history.undo;
undoManager.$redoStack = session.history.redo;
```
Shouldn't it be:
```
undoManager.$undoStack = session.history.$undoStack;
undoManager.$redoStack = session.history.$redoStack;
```
I'm running into undefined issues when restoring sessions, and I believe this might be the cause.
Guía de contribución
Evaluación
Este issue todavía no se ha evaluado.