77 Private slot used to fetch changes from a remote repository. |
77 Private slot used to fetch changes from a remote repository. |
78 """ |
78 """ |
79 shouldReopen = self.vcs.getExtensionObject("fetch")\ |
79 shouldReopen = self.vcs.getExtensionObject("fetch")\ |
80 .hgFetch(self.project.getProjectPath()) |
80 .hgFetch(self.project.getProjectPath()) |
81 if shouldReopen: |
81 if shouldReopen: |
82 res = E5MessageBox.yesNo(None, |
82 res = E5MessageBox.yesNo( |
|
83 None, |
83 self.trUtf8("Fetch"), |
84 self.trUtf8("Fetch"), |
84 self.trUtf8("""The project should be reread. Do this now?"""), |
85 self.trUtf8("""The project should be reread. Do this now?"""), |
85 yesDefault=True) |
86 yesDefault=True) |
86 if res: |
87 if res: |
87 self.project.reopenProject() |
88 self.project.reopenProject() |