Home
last modified time | relevance | path

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

/plugin/diagramsnet/lib/plugins/
Dsql.js597 var resetBtn = mxUtils.button(mxResources.get('reset'), function() {
601 resetBtn.style.marginTop = '8px';
602 resetBtn.style.marginRight = '4px';
603 resetBtn.style.padding = '4px';
604 div.appendChild(resetBtn);
/plugin/mizarverifiabledocs/src/
H A Dscript.js277 const resetBtn = wrapper.querySelector("button[id^='resetButton']");
278 if (resetBtn) {
279 resetBtn.click();
/plugin/diagramsnet/lib/js/diagramly/
DDialogs.js1831 var resetBtn = mxUtils.button(mxResources.get('reset'), function()
1839 mxEvent.addGestureListeners(resetBtn, function()
1844 resetBtn.className = 'geBtn';
1845 resetBtn.width = '100';
1846 btns.appendChild(resetBtn);
7088 var resetBtn = mxUtils.button(mxResources.get('reset'), function() variable
7106 resetBtn.setAttribute('title', mxResources.get('reset'));
7107 resetBtn.style.float = 'none';
7108 resetBtn.style.width = '120px';
7109 resetBtn.style.marginTop = '6px';
[all …]
DEditor.js6035 var resetBtn = mxUtils.button(mxResources.get('reset'), function(evt)
6048 resetBtn.setAttribute('title', mxResources.get('reset'));
6049 resetBtn.className = 'geBtn';
6050 resetBtn.style.margin = '0 4px 0 0';
6338 footer.appendChild(resetBtn);
/plugin/mizarverifiabledocs/dist/
H A Dscript.js.map1 …resetBtn = wrapper.querySelector(\"button[id^='resetButton']\");\n if (resetBtn) resetB…