מדיה ויקי:Gadget-toggleRCOptions.js: הבדלים בין גרסאות בדף

מאין תקציר עריכה
מאין תקציר עריכה
שורה 14: שורה 14:
  // select range
  // select range
  var range = document.editform.wpTextbox1.createTextRange();
  var range = document.editform.wpTextbox1.createTextRange();
alert(text + " : " + (index + text.length));
  range.findText(text, index + text.length);
  range.findText(text, index + text.length);
  range.select();
  range.select();
שורה 89: שורה 90:
  option.text = 'מחכה...';
  option.text = 'מחכה...';
  option.disabled = true;
  option.disabled = true;
  foundResults.onchange = function() { showFound(this[this.selectedIndex].title,this[this.selectedIndex].value);return true; };
  foundResults.onchange = function() { showFound(this[this.selectedIndex].title,this[this.selectedIndex].value); };
  foundResults.add(option);
  foundResults.add(option);