Home
last modified time | relevance | path

Searched refs:forceReload (Results 1 – 1 of 1) sorted by relevance

/plugin/diagramsnet/lib/js/diagramly/
H A DEditorUi.js1544 EditorUi.prototype.synchronizeCurrentFile = function(forceReload) argument
1554 else if (!forceReload && currentFile.invalidChecksum)
1563 if (forceReload)