ajaxorg/ace — pull request #2087 by nightwing (2014-08-09 14:54:02+00:00)
Title: destroy session when destroying the editor

fixes #1652 and #344
This also allows to do `editor.setSession(null)` to prevent session from being destroyed.