Home
last modified time | relevance | path

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

/plugin/diagramsnet/lib/js/grapheditor/
DEditorUi.js3841 …var foldable = graph.getSelectionCount() == 1 && graph.isCellFoldable(graph.getSelectionCell()); /…
3842 this.actions.get('expand').setEnabled(foldable);
3843 this.actions.get('collapse').setEnabled(foldable);
/plugin/mizarveifiabledocs/dist/
Dscript.js.map1foldable\nrange that starts on that line (but continues beyond it), if one\ncan be found.\n*/ cons…
/plugin/mizarproofchecker/dist/
Dscript.js.map1foldable\nrange that starts on that line (but continues beyond it), if one\ncan be found.\n*/ cons…
/plugin/asciidocjs/node_modules/uglify-js/lib/
Dcompress.js2381 var scan_rhs = foldable(candidate);
3202 function foldable(expr) { function
/plugin/mizarverifiabledocs/dist/
H A Dscript.js.map1foldable\nrange that starts on that line (but continues beyond it), if one\ncan be found.\n*/ cons…