Is the EditSession#fromJSON method using incorrect history properties?
未關閉
effort/small
p2
- 主要語言
- JavaScript
- 星號
- 27.1k
- 分支
- 5.3k
- PR 合併指標
- 30 天內沒有已合併 PR
描述
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.
貢獻指南
評估
這個 Issue 還沒有評估資料。