Searched defs:thumbHeight (Results 1 – 3 of 3) sorted by relevance
| /plugin/diagramsnet/lib/js/grapheditor/ | ||
| H A D | Sidebar.js | 175 Sidebar.prototype.thumbHeight = 42; method in Sidebar |
| /plugin/diagramsnet/lib/js/diagramly/ | ||
| H A D | Editor.js | 2020 Sidebar.prototype.thumbHeight = config.thumbHeight; method in Sidebar |
| H A D | EditorUi.js | 3701 Sidebar.prototype.thumbHeight = 64; method in Sidebar |