From 6591a4b7faecc4d08cfc994b03e80a566ad92d30 Mon Sep 17 00:00:00 2001
From: ZappoMan <bradh@konamoxt.com>
Date: Mon, 24 Feb 2014 09:36:18 -0800
Subject: [PATCH] correctly shutdown slider

---
 examples/editVoxels.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/examples/editVoxels.js b/examples/editVoxels.js
index d676e71087..80f37a76a3 100644
--- a/examples/editVoxels.js
+++ b/examples/editVoxels.js
@@ -1344,6 +1344,8 @@ function scriptEnding() {
     Overlays.deleteOverlay(recolorTool);
     Overlays.deleteOverlay(eyedropperTool);
     Overlays.deleteOverlay(selectTool);
+    Overlays.deleteOverlay(slider);
+    Overlays.deleteOverlay(thumb);
     Controller.releaseKeyEvents({ text: "+" });
     Controller.releaseKeyEvents({ text: "-" });
 }