Project/Project.py

changeset 5105
8a773a100c34
parent 5101
6f34ec319318
child 5106
1ecc6c9abca5
--- a/Project/Project.py	Tue Aug 23 12:21:46 2016 +0200
+++ b/Project/Project.py	Tue Aug 23 18:53:46 2016 +0200
@@ -2733,6 +2733,10 @@
                     # read a project tasks file
                     self.__readTasks()
                     self.ui.taskViewer.setProjectOpen(True)
+                    # rescan project tasks
+                    if Preferences.getProject("TasksProjectRescanOnOpen"):
+                        e5App().getObject("TaskViewer")\
+                        .regenerateProjectTasks(quiet=True)
                     
                     if restoreSession:
                         # open the main script

eric ide

mercurial