Searched defs:footerHeight (Results 1 – 4 of 4) sorted by relevance
| /plugin/diagramsnet/lib/js/diagramly/ | ||
| D | Minimal.js | 285 EditorUi.prototype.footerHeight = 0; method in EditorUi |
| D | App.js | 1261 App.prototype.footerHeight = 0; method in App |
| D | EditorUi.js | 3696 EditorUi.prototype.footerHeight = 0; method in EditorUi |
| /plugin/diagramsnet/lib/js/grapheditor/ | ||
| D | EditorUi.js | 1075 EditorUi.prototype.footerHeight = 28; method in EditorUi |