Fix bug while closing specific file editors

2012-07-23, laurent