Lines Matching refs:VKI_keyboard

1180   this.VKI_keyboard = document.createElement('table');
1181   this.VKI_keyboard.id = "keyboardInputMaster";
1182   this.VKI_keyboard.dir = "ltr";
1183   this.VKI_keyboard.cellSpacing = "0";
1184   this.VKI_keyboard.reflow = function() {
1189   VKI_addListener(this.VKI_keyboard, 'click', function(e) {
1255 …  self.VKI_keyboard.className = self.VKI_keyboard.className.replace(/ ?keyboardInputSize\d ?/, "");
1256 …       if (self.VKI_size != 2) self.VKI_keyboard.className += " keyboardInputSize" + self.VKI_size;
1258           if (self.VKI_isOpera) self.VKI_keyboard.reflow();
1301   this.VKI_keyboard.appendChild(thead);
1352   this.VKI_keyboard.appendChild(tbody);
1405     var container = this.VKI_keyboard.tBodies[0].getElementsByTagName('div')[0];
1491       this.VKI_iframe.style.width = this.VKI_keyboard.offsetWidth + "px";
1492       this.VKI_iframe.style.height = this.VKI_keyboard.offsetHeight + "px";
1497   VKI_addListener(this.VKI_keyboard, 'selectstart', function() { return false; }, false);
1498   this.VKI_keyboard.unselectable = "on";
1500     VKI_addListener(this.VKI_keyboard, 'mousedown', function() { return false; }, false);
1518 …var tables = this.VKI_keyboard.tBodies[0].getElementsByTagName('div')[0].getElementsByTagName('tab…
1671       try { this.VKI_keyboard.parentNode.removeChild(this.VKI_keyboard); } catch (e) {}
1684       document.body.appendChild(this.VKI_keyboard);
1685       this.VKI_keyboard.style.position = this.VKI_target.keyboardPosition;
1686       if (this.VKI_isOpera) this.VKI_keyboard.reflow();
1702 …  var kPos = VKI_findPos(self.VKI_keyboard), wDim = VKI_innerDimensions(), sDis = VKI_scrollDist();
1705         if (kPos[1] + self.VKI_keyboard.offsetHeight - sDis[1] - wDim[1] > 0) {
1707           fudge = -self.VKI_keyboard.offsetHeight - 3;
1712 …self.VKI_keyboard.style.top = iPos[1] - ((self.VKI_target.keyboardPosition == "fixed" && !self.VKI…
1713 …self.VKI_keyboard.style.left = Math.max(10, Math.min(wDim[0] - self.VKI_keyboard.offsetWidth - 25,…
1715           self.VKI_iframe.style.width = self.VKI_keyboard.offsetWidth + "px";
1716           self.VKI_iframe.style.height = self.VKI_keyboard.offsetHeight + "px";
1717           self.VKI_iframe.style.top = self.VKI_keyboard.style.top;
1718           self.VKI_iframe.style.left = self.VKI_keyboard.style.left;
1737         this.VKI_keyboard.parentNode.removeChild(this.VKI_keyboard);