Skip to content

Commit

Permalink
Clear SR file cache when stopped
Browse files Browse the repository at this point in the history
  • Loading branch information
jmthomas committed Jan 24, 2024
1 parent f0fc624 commit e99a3b8
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -1366,6 +1366,7 @@ export default {
this.fatal = false
this.scriptId = null
this.currentFilename = null
this.files = {} // Clear the file cache
// We may have changed the contents (if there were sub-scripts)
// so don't let the undo manager think this is a chanage
this.editor.session.getUndoManager().reset()
Expand Down Expand Up @@ -1460,10 +1461,10 @@ export default {
this.files[data.filename] = null
})
} else {
this.currentFilename = data.filename
this.editor.setValue(this.files[data.filename].content)
this.restoreBreakpoints(data.filename)
this.editor.clearSelection()
this.currentFilename = data.filename
}
}
this.state = data.state
Expand Down

0 comments on commit e99a3b8

Please sign in to comment.