From 88799fc88183ae5e4dff82d440ae9917a65baa43 Mon Sep 17 00:00:00 2001 From: Henry Oswald Date: Fri, 4 Dec 2015 08:43:34 +0000 Subject: [PATCH] add help link when user needs to refresh page --- services/web/app/views/project/editor.jade | 2 +- services/web/public/coffee/ide/editor/EditorManager.coffee | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) 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)