diff options
Diffstat (limited to 'app/assets/javascripts/ide/stores/mutations.js')
-rw-r--r-- | app/assets/javascripts/ide/stores/mutations.js | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/app/assets/javascripts/ide/stores/mutations.js b/app/assets/javascripts/ide/stores/mutations.js index e84e2782e46..49485f4d575 100644 --- a/app/assets/javascripts/ide/stores/mutations.js +++ b/app/assets/javascripts/ide/stores/mutations.js @@ -180,11 +180,6 @@ export default { }); } }, - [types.BURST_UNUSED_SEAL](state) { - Object.assign(state, { - unusedSeal: false, - }); - }, [types.SET_LINKS](state, links) { Object.assign(state, { links }); }, @@ -226,6 +221,8 @@ export default { state.changedFiles = state.changedFiles.concat(entry); } } + + state.unusedSeal = false; }, [types.RENAME_ENTRY](state, { path, name, parentPath }) { const oldEntry = state.entries[path]; |