beremiz

Fix bug while closing specific file editors

2012-07-23, laurent
fd113777d1ae
Fix bug while closing specific file editors
C extension