מדיה ויקי: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) | foundResults.onchange = function() { showFound(this[this.selectedIndex].title,this[this.selectedIndex].value); }; | ||
foundResults.add(option); | foundResults.add(option); | ||