diff --git a/services/web/app/views/project/editor.jade b/services/web/app/views/project/editor.jade
index 87fe3e7b8e..0db381f7a3 100644
--- a/services/web/app/views/project/editor.jade
+++ b/services/web/app/views/project/editor.jade
@@ -76,7 +76,7 @@ block content
ng-click="done()"
) ×
h3 {{ title }}
- .modal-body {{ message }}
+ .modal-body(ng-bind-html="message")
.modal-footer
button.btn.btn-info(ng-click="done()") #{translate("ok")}
diff --git a/services/web/public/coffee/ide/editor/EditorManager.coffee b/services/web/public/coffee/ide/editor/EditorManager.coffee
index cdc2531568..e31955ef46 100644
--- a/services/web/public/coffee/ide/editor/EditorManager.coffee
+++ b/services/web/public/coffee/ide/editor/EditorManager.coffee
@@ -86,6 +86,7 @@ define [
@_bindToDocumentEvents(doc, new_sharejs_doc)
callback null, new_sharejs_doc
+
_bindToDocumentEvents: (doc, sharejs_doc) ->
sharejs_doc.on "error", (error, meta) =>
if error?.message?.match "maxDocLength"
@@ -98,7 +99,7 @@ define [
@ide.reportError(error, meta)
@ide.showGenericMessageModal(
"Out of sync"
- "Sorry, this file has gone out of sync and we need to do a full refresh. Please let us know if this happens frequently."
+ "Sorry, this file has gone out of sync and we need to do a full refresh.
Please see this help guide for more information"
)
@openDoc(doc, forceReopen: true)