Merge pull request #2064 from ZappoMan/more_edit_js

correctly shutdown slider
This commit is contained in:
ZappoMan 2014-02-24 09:36:54 -08:00
commit 3d1c4251e3

View file

@ -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: "-" });
}