From 51881dbbcc8297991fdaa251e3d290f73070d816 Mon Sep 17 00:00:00 2001 From: Shane Kilkelly Date: Mon, 5 Jun 2017 11:09:58 +0100 Subject: [PATCH] Only load labels from current doc if change is local --- .../ide/editor/directives/aceEditor/labels/LabelsManager.coffee | 1 + 1 file changed, 1 insertion(+) diff --git a/services/web/public/coffee/ide/editor/directives/aceEditor/labels/LabelsManager.coffee b/services/web/public/coffee/ide/editor/directives/aceEditor/labels/LabelsManager.coffee index 872e543f1c..c30d6af4fd 100644 --- a/services/web/public/coffee/ide/editor/directives/aceEditor/labels/LabelsManager.coffee +++ b/services/web/public/coffee/ide/editor/directives/aceEditor/labels/LabelsManager.coffee @@ -27,6 +27,7 @@ define [ lineUpToCursor = @editor.getSession().getTextRange(range) commandFragment = getLastCommandFragment(lineUpToCursor) if ( + !change.remote and change.action in ['remove', 'insert'] and ((_.any(change.lines, (line) -> line.match(/\\label\{[^\}\n\\]{0,80}\}/))) or (commandFragment?.length > 2 and commandFragment.slice(0,7) == '\\label{'))