54 self.updateEdit, self.addEdit, self.removeEdit, |
54 self.updateEdit, self.addEdit, self.removeEdit, |
55 self.diffEdit, self.logEdit, self.historyEdit, |
55 self.diffEdit, self.logEdit, self.historyEdit, |
56 self.statusEdit, self.tagEdit, self.exportEdit]: |
56 self.statusEdit, self.tagEdit, self.exportEdit]: |
57 t = widget.whatsThis() |
57 t = widget.whatsThis() |
58 if t: |
58 if t: |
59 t = t.append(Utilities.getPercentReplacementHelp()) |
59 t += Utilities.getPercentReplacementHelp() |
60 widget.setWhatsThis(t) |
60 widget.setWhatsThis(t) |
61 |
61 |
62 def getOptions(self): |
62 def getOptions(self): |
63 """ |
63 """ |
64 Public method used to retrieve the entered options. |
64 Public method used to retrieve the entered options. |