Project/Project.py

changeset 5105
8a773a100c34
parent 5101
6f34ec319318
child 5106
1ecc6c9abca5
equal deleted inserted replaced
5104:0b9420dc1093 5105:8a773a100c34
2731 self.__doSearchNewFiles() 2731 self.__doSearchNewFiles()
2732 2732
2733 # read a project tasks file 2733 # read a project tasks file
2734 self.__readTasks() 2734 self.__readTasks()
2735 self.ui.taskViewer.setProjectOpen(True) 2735 self.ui.taskViewer.setProjectOpen(True)
2736 # rescan project tasks
2737 if Preferences.getProject("TasksProjectRescanOnOpen"):
2738 e5App().getObject("TaskViewer")\
2739 .regenerateProjectTasks(quiet=True)
2736 2740
2737 if restoreSession: 2741 if restoreSession:
2738 # open the main script 2742 # open the main script
2739 if self.pdata["MAINSCRIPT"]: 2743 if self.pdata["MAINSCRIPT"]:
2740 self.sourceFile.emit( 2744 self.sourceFile.emit(

eric ide

mercurial