- not built -

i18n change
2001-04-21 02:04:21 +00:00 · 2001-04-21 02:04:21 +00:00 · d86ff3e66c
--- a/extensions/venkman/resources/content/venkman-prefs.js
+++ b/extensions/venkman/resources/content/venkman-prefs.js
@ -48,7 +48,7 @@ function initPrefs()
 console.prefs.save =
 function pfs_save ()
 {
-    throw new Foo("Not Implemented.");
+    throw BadMojo(ERR_NOT_IMPLEMENTED);
 }

 console.addPref =