Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/jgraph/drawio.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/webapp/js/diagramly/DrawioFile.js')
-rw-r--r--src/main/webapp/js/diagramly/DrawioFile.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/webapp/js/diagramly/DrawioFile.js b/src/main/webapp/js/diagramly/DrawioFile.js
index 7a86f512..7277eb32 100644
--- a/src/main/webapp/js/diagramly/DrawioFile.js
+++ b/src/main/webapp/js/diagramly/DrawioFile.js
@@ -1358,7 +1358,7 @@ DrawioFile.prototype.isRealtimeSupported = function()
*/
DrawioFile.prototype.isRealtimeEnabled = function()
{
- return urlParams['fast-sync'] != '0';
+ return Editor.enableRealtime && urlParams['fast-sync'] != '0';
};
/**