Searched refs:VKI_modify (Results 1 – 3 of 3) sorted by relevance
1229 self.VKI_modify("");1304 if (self.VKI_shift) self.VKI_modify("Shift");1305 if (self.VKI_altgr) self.VKI_modify("AltGr");1307 } self.VKI_modify("");1351 …KI_addListener(td, 'click', (function(type) { return function() { self.VKI_modify(type); return fa…1371 if (self.VKI_shift) self.VKI_modify("Shift");1372 if (self.VKI_altgr) self.VKI_modify("AltGr");1420 this.VKI_modify = function(type) { method
1 …VKI_modify("");return true},false);l.appendChild(s);s.checked=this.VKI_deadkeysOn;t.appendChild(l)… method
1316 self.VKI_modify("");1391 if (self.VKI_shift) self.VKI_modify("Shift");1392 if (self.VKI_altgr) self.VKI_modify("AltGr");1394 } self.VKI_modify("");1438 …KI_addListener(td, 'click', (function(type) { return function() { self.VKI_modify(type); return fa…1458 if (self.VKI_shift) self.VKI_modify("Shift");1459 if (self.VKI_altgr) self.VKI_modify("AltGr");1507 this.VKI_modify = function(type) {1633 if (this.VKI_shift) this.VKI_modify("Shift");1634 if (this.VKI_altgr) this.VKI_modify("AltGr");