changeset 791 | 67b47775ba21 |
parent 789 | b1b1a8f85e2f |
child 794 | 5bbf57905011 |
--- a/util/FileManagementPanel.py Fri Jul 06 21:00:43 2012 +0200 +++ b/util/FileManagementPanel.py Wed Jul 18 01:33:48 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):