Utilities/BackgroundService.py

changeset 3581
03b351be4436
parent 3579
eccd12461319
child 3591
2f2a4a76dd22
equal deleted inserted replaced
3580:16bebd6d5378 3581:03b351be4436
166 self.tr("Restart background client?"), 166 self.tr("Restart background client?"),
167 self.tr( 167 self.tr(
168 "<p>The background client for <b>{0}</b> has stopped" 168 "<p>The background client for <b>{0}</b> has stopped"
169 " due to an exception. It's used by various plug-ins like" 169 " due to an exception. It's used by various plug-ins like"
170 " the different checkers.</p>" 170 " the different checkers.</p>"
171 "<p>Select<br>" 171 "<p>Select"
172 "<b>'Yes'</b> to restart the client, but abort the last" 172 "<ul>"
173 " job<br>" 173 "<li><b>'Yes'</b> to restart the client, but abort the"
174 "<b>'Retry'</b> to restart the client and the last job<br>" 174 " last job</li>"
175 "<b>'No'</b> to leave the client off.</p>" 175 "<li><b>'Retry'</b> to restart the client and the last"
176 " job</li>"
177 "<li><b>'No'</b> to leave the client off.</li>"
178 "</ul></p>"
176 "<p>Note: The client can be restarted by opening and" 179 "<p>Note: The client can be restarted by opening and"
177 " accepting the preferences dialog or reloading/ changing" 180 " accepting the preferences dialog or reloading/changing"
178 " the project.</p>").format(lang), 181 " the project.</p>").format(lang),
179 E5MessageBox.Yes | E5MessageBox.No | E5MessageBox.Retry, 182 E5MessageBox.Yes | E5MessageBox.No | E5MessageBox.Retry,
180 E5MessageBox.Yes) 183 E5MessageBox.Yes)
181 184
182 if res == E5MessageBox.Retry: 185 if res == E5MessageBox.Retry:

eric ide

mercurial