Helpviewer/GreaseMonkey/GreaseMonkeyConfiguration/GreaseMonkeyConfigurationDialog.py

changeset 3020
542e97d4ecb3
parent 3002
6ffc581f00f1
child 3022
57179e4cdadd
equal deleted inserted replaced
3019:7912530a33e2 3020:542e97d4ecb3
139 """ 139 """
140 script = self.__getScript(itm) 140 script = self.__getScript(itm)
141 if script is None: 141 if script is None:
142 return 142 return
143 143
144 removeIt = E5MessageBox.yesNo(self, 144 removeIt = E5MessageBox.yesNo(
145 self,
145 self.trUtf8("Remove Script"), 146 self.trUtf8("Remove Script"),
146 self.trUtf8( 147 self.trUtf8(
147 """<p>Are you sure you want to remove <b>{0}</b>?</p>""") 148 """<p>Are you sure you want to remove <b>{0}</b>?</p>""")
148 .format(script.name())) 149 .format(script.name()))
149 if removeIt and self.__manager.removeScript(script): 150 if removeIt and self.__manager.removeScript(script):

eric ide

mercurial