ViewManager/ViewManager.py

changeset 253
3ccdf551bde7
parent 162
28f235c426c4
child 335
5ad648828e2e
equal deleted inserted replaced
252:05692e3d37bf 253:3ccdf551bde7
3522 @param ed editor to be saved 3522 @param ed editor to be saved
3523 """ 3523 """
3524 pro = e5App().getObject("Project") 3524 pro = e5App().getObject("Project")
3525 path = pro.ppath 3525 path = pro.ppath
3526 if ed: 3526 if ed:
3527 ok, newName = ed.saveFileAs(path) 3527 ok, newName = ed.saveFileAs(path, toProject = True)
3528 if ok: 3528 if ok:
3529 self.setEditorName(ed, newName) 3529 self.setEditorName(ed, newName)
3530 pro.appendFile(newName) 3530 pro.appendFile(newName)
3531 ed.addedToProject() 3531 ed.addedToProject()
3532 else: 3532 else:

eric ide

mercurial