[TextEditor] Fold marker margin now releases foldings on dispose.