Home
last modified time | relevance | path

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

/plugin/diagramsnet/lib/js/grapheditor/
H A DEditor.js1879 var update = function(evt, selectChanged) argument
1920 if ((!selectChanged || !customSize) && (newPageFormat.width != currentPageFormat.width ||