Searched defs:noteMargin (Results 1 – 4 of 4) sorted by relevance
| /plugin/diagramsnet/lib/js/diagramly/ |
| D | EditorUi.js | 122 noteMargin:10, property
|
| /plugin/dirtylittlehelper/mermaid/editor/ |
| D | bundle.js | 93 …inY:10,actorMargin:50,width:150,height:65,boxMargin:10,boxTextMargin:5,noteMargin:10,messageMargin… property
285 …askFontFamily:'"Open-Sans", "sans-serif"',boxMargin:10,boxTextMargin:5,noteMargin:10,messageMargin… property
|
| /plugin/dirtylittlehelper/mermaid/editor/docs/ |
| D | bundle.js | 93 …inY:10,actorMargin:50,width:150,height:65,boxMargin:10,boxTextMargin:5,noteMargin:10,messageMargin… property
285 …askFontFamily:'"Open-Sans", "sans-serif"',boxMargin:10,boxTextMargin:5,noteMargin:10,messageMargin… 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
|