--- a/util/FileManagementPanel.py	Tue Jul 17 21:25:28 2012 +0200
+++ b/util/FileManagementPanel.py	Wed Jul 18 00:44:29 2012 +0200
@@ -369,7 +369,7 @@
         filepath = self.ManagedDir.GetPath()
         if (os.path.isfile(filepath) and 
             os.path.splitext(filepath)[1] in self.EditableFileExtensions):
-            self.Controler._OpenView(filepath)
+            self.Controler._OpenView(filepath + "::")
         event.Skip()
         
     def CopyFile(self, src, dst):