keep editor state intact
parent
86309dd668
commit
3e3cfd418f
|
@ -251,7 +251,9 @@ async function createProjectService(
|
||||||
function resetState(): void {
|
function resetState(): void {
|
||||||
clearAllDiagnostics(state)
|
clearAllDiagnostics(state)
|
||||||
Object.keys(state).forEach((key) => {
|
Object.keys(state).forEach((key) => {
|
||||||
delete state[key]
|
if (key !== 'editor') {
|
||||||
|
delete state[key]
|
||||||
|
}
|
||||||
})
|
})
|
||||||
state.enabled = false
|
state.enabled = false
|
||||||
registerCapabilities()
|
registerCapabilities()
|
||||||
|
|
Loading…
Reference in New Issue