מדיה ויקי:Gadget-toggleRCOptions.js: הבדלים בין גרסאות בדף
מאין תקציר עריכה |
מאין תקציר עריכה |
||
| שורה 37: | שורה 37: | ||
while (fromIndex != -1) { | while (fromIndex != -1) { | ||
var foundIndex = document.editform.wpTextbox1.value.indexOf(findThis, fromIndex); | var foundIndex = document.editform.wpTextbox1.value.indexOf(findThis, fromIndex); | ||
if (foundIndex != -1) { | if (foundIndex != -1 && counter <= 100) { | ||
counter++; | counter++; | ||
var option = document.createElement('OPTION'); | var option = document.createElement('OPTION'); | ||
| שורה 43: | שורה 43: | ||
option.title = foundIndex + ',' + findThis.length; | option.title = foundIndex + ',' + findThis.length; | ||
results.add(option); | results.add(option); | ||
fromIndex = foundIndex | fromIndex = foundIndex + findThis.length; | ||
} else { | } else { | ||
var option = document.createElement('OPTION'); | var option = document.createElement('OPTION'); | ||
| שורה 56: | שורה 55: | ||
results.add(option); | results.add(option); | ||
} | } | ||
break; | |||
} | } | ||
} | } | ||