From 3a0b164c511151f4230bbe2311e75be202b21a9a Mon Sep 17 00:00:00 2001
From: Remco Haszing <remcohaszing@gmail.com>
Date: Fri, 17 Sep 2021 16:02:53 +0200
Subject: [PATCH] Dispose the old model before switching in demo

This prevents errors.
---
 examples/demo/src/index.ts | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/examples/demo/src/index.ts b/examples/demo/src/index.ts
index 7cd68f4..eee56bc 100644
--- a/examples/demo/src/index.ts
+++ b/examples/demo/src/index.ts
@@ -152,7 +152,10 @@ fetch('https://www.schemastore.org/api/json/catalog.json').then(async (response)
 });
 
 select.addEventListener('change', () => {
-  ed.setModel(editor.createModel(ed.getValue(), 'yaml', Uri.parse(select.value)));
+  const oldModel = ed.getModel();
+  const newModel = editor.createModel(oldModel.getValue(), 'yaml', Uri.parse(select.value));
+  ed.setModel(newModel);
+  oldModel.dispose();
 });
 
 function* iterateSymbols(