ViewManager/ViewManager.py

changeset 253
3ccdf551bde7
parent 162
28f235c426c4
child 335
5ad648828e2e
--- a/ViewManager/ViewManager.py	Sat May 15 10:19:07 2010 +0200
+++ b/ViewManager/ViewManager.py	Sat May 15 15:29:39 2010 +0200
@@ -3524,7 +3524,7 @@
         pro = e5App().getObject("Project")
         path = pro.ppath
         if ed:
-            ok, newName = ed.saveFileAs(path)
+            ok, newName = ed.saveFileAs(path, toProject = True)
             if ok:
                 self.setEditorName(ed, newName)
                 pro.appendFile(newName)

eric ide

mercurial