diff -r 16bebd6d5378 -r 03b351be4436 Utilities/BackgroundService.py
--- a/Utilities/BackgroundService.py Sat May 17 10:27:22 2014 +0200
+++ b/Utilities/BackgroundService.py Sat May 17 10:39:44 2014 +0200
@@ -168,13 +168,16 @@
"<p>The background client for <b>{0}</b> has stopped"
" due to an exception. It's used by various plug-ins like"
" the different checkers.</p>"
- "<p>Select<br>"
- "<b>'Yes'</b> to restart the client, but abort the last"
- " job<br>"
- "<b>'Retry'</b> to restart the client and the last job<br>"
- "<b>'No'</b> to leave the client off.</p>"
+ "<p>Select"
+ "<ul>"
+ "<li><b>'Yes'</b> to restart the client, but abort the"
+ " last job</li>"
+ "<li><b>'Retry'</b> to restart the client and the last"
+ " job</li>"
+ "<li><b>'No'</b> to leave the client off.</li>"
+ "</ul></p>"
"<p>Note: The client can be restarted by opening and"
- " accepting the preferences dialog or reloading/ changing"
+ " accepting the preferences dialog or reloading/changing"
" the project.</p>").format(lang),
E5MessageBox.Yes | E5MessageBox.No | E5MessageBox.Retry,
E5MessageBox.Yes)
