Lines Matching refs:VKI_keyboard

1091   this.VKI_keyboard = document.createElement('table');
1092 this.VKI_keyboard.id = "keyboardInputMaster";
1093 this.VKI_keyboard.dir = "ltr";
1094 this.VKI_keyboard.cellSpacing = "0";
1095 this.VKI_keyboard.reflow = function() { method
1100 VKI_addListener(this.VKI_keyboard, 'click', function(e) {
1168 … self.VKI_keyboard.className = self.VKI_keyboard.className.replace(/ ?keyboardInputSize\d ?/, "");
1169 … if (self.VKI_size != 2) self.VKI_keyboard.className += " keyboardInputSize" + self.VKI_size;
1171 if (self.VKI_isOpera) self.VKI_keyboard.reflow();
1214 this.VKI_keyboard.appendChild(thead);
1265 this.VKI_keyboard.appendChild(tbody);
1318 var container = this.VKI_keyboard.tBodies[0].getElementsByTagName('div')[0];
1404 this.VKI_iframe.style.width = this.VKI_keyboard.offsetWidth + "px";
1405 this.VKI_iframe.style.height = this.VKI_keyboard.offsetHeight + "px";
1410 VKI_addListener(this.VKI_keyboard, 'selectstart', function() { return false; }, false);
1411 this.VKI_keyboard.unselectable = "on";
1413 VKI_addListener(this.VKI_keyboard, 'mousedown', function() { return false; }, false);
1431 …var tables = this.VKI_keyboard.tBodies[0].getElementsByTagName('div')[0].getElementsByTagName('tab…
1524 try { this.VKI_keyboard.parentNode.removeChild(this.VKI_keyboard); } catch (e) {}
1537 document.body.appendChild(this.VKI_keyboard);
1538 this.VKI_keyboard.style.position = this.VKI_target.keyboardPosition;
1539 if (this.VKI_isOpera) this.VKI_keyboard.reflow();
1555 … var kPos = VKI_findPos(self.VKI_keyboard), wDim = VKI_innerDimensions(), sDis = VKI_scrollDist();
1558 if (kPos[1] + self.VKI_keyboard.offsetHeight - sDis[1] - wDim[1] > 0) {
1560 fudge = -self.VKI_keyboard.offsetHeight - 3;
1565 …self.VKI_keyboard.style.top = iPos[1] - ((self.VKI_target.keyboardPosition == "fixed" && !self.VKI…
1566 …self.VKI_keyboard.style.left = Math.max(10, Math.min(wDim[0] - self.VKI_keyboard.offsetWidth - 25,…
1568 self.VKI_iframe.style.width = self.VKI_keyboard.offsetWidth + "px";
1569 self.VKI_iframe.style.height = self.VKI_keyboard.offsetHeight + "px";
1570 self.VKI_iframe.style.top = self.VKI_keyboard.style.top;
1571 self.VKI_iframe.style.left = self.VKI_keyboard.style.left;
1586 this.VKI_keyboard.parentNode.removeChild(this.VKI_keyboard);