2851 |
2851 |
2852 # save to project, if a project is loaded |
2852 # save to project, if a project is loaded |
2853 if self.project.isOpen() and self.project.startswithProjectPath(fn): |
2853 if self.project.isOpen() and self.project.startswithProjectPath(fn): |
2854 self.project.appendFile(self.fileName) |
2854 self.project.appendFile(self.fileName) |
2855 self.addedToProject() |
2855 self.addedToProject() |
2856 self.setLanguage(self.fileName) |
2856 |
|
2857 self.setLanguage(self.fileName) |
2857 |
2858 |
2858 self.lastModified = QFileInfo(self.fileName).lastModified() |
2859 self.lastModified = QFileInfo(self.fileName).lastModified() |
2859 if newName is not None: |
2860 if newName is not None: |
2860 self.vm.addToRecentList(newName) |
2861 self.vm.addToRecentList(newName) |
2861 self.editorSaved.emit(self.fileName) |
2862 self.editorSaved.emit(self.fileName) |