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: |