diff --git a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee
index a128ecacb5..fd6a8224e4 100644
--- a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee
+++ b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee
@@ -430,6 +430,8 @@ define [
 				scope.$on '$destroy', () ->
 					if scope.sharejsDoc?
 						detachFromAce(scope.sharejsDoc)
+						session = editor.getSession()
+						session?.destroy()
 
 				scope.$emit "#{scope.name}:inited", editor