Searched defs:boxMargin (Results 1 – 4 of 4) sorted by relevance
| /plugin/diagramsnet/lib/js/diagramly/ |
| D | EditorUi.js | 120 boxMargin:10, property
|
| /plugin/dirtylittlehelper/mermaid/editor/ |
| D | bundle.js | 93 …,diagramMarginX:50,diagramMarginY:10,actorMargin:50,width:150,height:65,boxMargin:10,boxTextMargin… property
285 …50,height:50,taskFontSize:14,taskFontFamily:'"Open-Sans", "sans-serif"',boxMargin:10,boxTextMargin… property
|
| /plugin/dirtylittlehelper/mermaid/editor/docs/ |
| D | bundle.js | 93 …,diagramMarginX:50,diagramMarginY:10,actorMargin:50,width:150,height:65,boxMargin:10,boxTextMargin… property
285 …50,height:50,taskFontSize:14,taskFontFamily:'"Open-Sans", "sans-serif"',boxMargin:10,boxTextMargin… property
|
| /plugin/mermaid/ |
| H A D | mermaid.min.js | 12 …xt();return Ie||this.lex()},"lex"),begin:o(function(Ie){this.conditionStack.push(Ie)},"begin"),pop… variable in o7
|