diff options
Diffstat (limited to 'src/com/android/browser/BrowserSettings.java')
| -rw-r--r-- | src/com/android/browser/BrowserSettings.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/com/android/browser/BrowserSettings.java b/src/com/android/browser/BrowserSettings.java index 8ed824e..efab039 100644 --- a/src/com/android/browser/BrowserSettings.java +++ b/src/com/android/browser/BrowserSettings.java @@ -279,6 +279,7 @@ public class BrowserSettings implements OnSharedPreferenceChangeListener, settings.setAutoFillProfile(getAutoFillProfile()); setIsWebGLAvailable(settings.isWebGLAvailable()); settings.setWebGLEnabled(isWebGLAvailable() && isWebGLEnabled()); + settings.setWebSocketsEnabled(isWebSocketsEnabled()); String ua = mCustomUserAgents.get(settings); if (ua != null) { @@ -849,6 +850,11 @@ public class BrowserSettings implements OnSharedPreferenceChangeListener, return mPrefs.getBoolean(PREF_ENABLE_WEBGL, true); } + public boolean isWebSocketsEnabled() { + return mPrefs.getBoolean(PREF_ENABLE_WEBSOCKETS, false); + } + + // ----------------------------- // getter/setters for privacy_security_preferences.xml // ----------------------------- |