Lines Matching refs:dot
5221 var dot = document.createElement('div');
5222 dot.style.display = 'inline-block';
5223 dot.style.width = '6px';
5224 dot.style.height = '6px';
5225 dot.style.marginLeft = '4px';
5226 dot.style.marginRight = '3px';
5227 dot.style.borderRadius = '3px';
5228 dot.style.cursor = 'pointer';
5229 dot.style.background = 'transparent';
5230 dot.style.border = '1px solid #b5b6b7';
5234 mxEvent.addListener(dot, 'click', mxUtils.bind(this, function()
5240 dots.push(dot);
5241 switcher.appendChild(dot);