# HG changeset patch
# User laurent
# Date 1343004782 -7200
# Node ID fd113777d1ae521d15bce2f9113d316145b576f2
# Parent  67b47775ba2117dd0d1c5a7130da54dc6191df26
Fix bug while closing specific file editors

diff -r 67b47775ba21 -r fd113777d1ae ProjectController.py
--- a/ProjectController.py	Wed Jul 18 01:33:48 2012 +0200
+++ b/ProjectController.py	Mon Jul 23 02:53:02 2012 +0200
@@ -1041,7 +1041,7 @@
         if self._ProjectFilesView == view:
             self._ProjectFilesView = None
         if view in self._FileEditors.values():
-            self._FileEditors.pop(view.GetTagName())
+            self._FileEditors.pop(view.GetFilePath())
 
     def _Clean(self):
         self._CloseView(self._IECCodeView)