cvs: phpweb / userprefs.js
| From: | Gabor Hojtsy | Date: | Tue, 14 Oct 2003 16:35:34 +0000 |
| Subject: | cvs: phpweb / userprefs.js | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-21501@lists.php.net to get a copy of this message | ||
goba Tue Oct 14 12:35:34 2003 EDT
Modified files:
/phpweb userprefs.js
Log:
Opera seems to not like with(){} here, so get rid of it...
Patch by Curt Zirzow
Index: phpweb/userprefs.js
diff -u phpweb/userprefs.js:1.8 phpweb/userprefs.js:1.9
--- phpweb/userprefs.js:1.8 Tue Sep 16 12:21:37 2003
+++ phpweb/userprefs.js Tue Oct 14 12:35:34 2003
@@ -67,12 +67,10 @@
document.forms["topsearch"].pattern.value = pattern;
// Set the last selected search method in the dropdown
- with (document.forms["topsearch"]) {
- for (var i = 0; i < show.length; i++) {
- if (show[i].value == option) {
- show[i].selected = true;
- break;
- }
+ for (var i = 0; i < document.forms["topsearch"].show.length; i++) {
+ if (document.forms["topsearch"].show[i].value == option) {
+ document.forms["topsearch"].show[i].selected = true;
+ break;
}
}
}