Lines Matching refs:dot
1045 var dot = name.lastIndexOf('.');
1047 if (dot > 0)
1049 nameInput.value = name.substring(0, dot + 1) + imageFormatSelect.value;
2289 var dot = document.createElement('span');
2290 dot.setAttribute('title', mxResources.get('selectionOnly'));
2291 dot.innerHTML = '•';
2292 dot.style.position = 'absolute';
2293 dot.style.fontWeight = 'bold';
2294 dot.style.fontSize = '16pt';
2295 dot.style.right = '2px';
2296 dot.style.top = '2px';
2304 div.appendChild(dot);
2306 else if (dot.parentNode != null)
2308 dot.parentNode.removeChild(dot);