Lines Matching refs:hl
11086 var hl = document.createElement('div');
11087 hl.style.zIndex = mxPopupMenu.prototype.zIndex + 2;
11088 hl.style.border = '3px dotted rgb(254, 137, 12)';
11089 hl.style.pointerEvents = 'none';
11090 hl.style.position = 'absolute';
11091 hl.style.top = x + 'px';
11092 hl.style.left = y + 'px';
11093 hl.style.width = Math.max(0, w - 3) + 'px';
11094 hl.style.height = Math.max(0, h - 3) + 'px';
11098 this.editor.graph.container.appendChild(hl);
11102 document.body.appendChild(hl);
11105 return hl;