beremiz

Fix bug while closing specific file editors

2012-07-23, laurent
fd113777d1ae
Fix bug while closing specific file editors
from c_ext import *