diff --git a/mozilla/java/webclient/classes_spec/org/mozilla/webclient/Preferences.java b/mozilla/java/webclient/classes_spec/org/mozilla/webclient/Preferences.java index c05c78c0763..e97ff20aefe 100644 --- a/mozilla/java/webclient/classes_spec/org/mozilla/webclient/Preferences.java +++ b/mozilla/java/webclient/classes_spec/org/mozilla/webclient/Preferences.java @@ -24,6 +24,33 @@ package org.mozilla.webclient; import java.util.Properties; +/** + *

This interface provides a way to set browser specific preferences + * on the underlying browser implementation.

+ * + *

The following mozilla preferences are especially useful:

+ * + * + */ + public interface Preferences { public void setPref(String prefName, String prefValue);