diff options
| author | Steve Block <steveblock@google.com> | 2009-08-21 10:26:37 +0100 |
|---|---|---|
| committer | Steve Block <steveblock@google.com> | 2009-08-24 10:59:57 +0100 |
| commit | 06cd751b052e65c359b16cce0570b6fab305eb89 (patch) | |
| tree | 90bcaf4d4347b0575adbb58c4ce4788a44f7aa9b /core/java/android/webkit/WebSettings.java | |
| parent | 3be63c09309b21c01b535271625d4c39045690e5 (diff) | |
Adds Java-side of logic to make Geolocation obey Browser 'Enable Location' setting.
This fixes bug http://b/issue?id=2067559.
Diffstat (limited to 'core/java/android/webkit/WebSettings.java')
| -rw-r--r-- | core/java/android/webkit/WebSettings.java | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/core/java/android/webkit/WebSettings.java b/core/java/android/webkit/WebSettings.java index eeac1d268eaf..4bdd488269bc 100644 --- a/core/java/android/webkit/WebSettings.java +++ b/core/java/android/webkit/WebSettings.java @@ -167,6 +167,7 @@ public class WebSettings { private boolean mDatabaseEnabled = false; private boolean mDomStorageEnabled = false; private boolean mWorkersEnabled = false; // only affects V8. + private boolean mGeolocationEnabled = false; // HTML5 configuration parameters private long mAppCacheMaxSize = Long.MAX_VALUE; private String mAppCachePath = ""; @@ -1082,6 +1083,18 @@ public class WebSettings { } /** + * Sets whether Geolocation is enabled. + * @param flag Whether Geolocation should be enabled. + * @hide pending api council approval + */ + public synchronized void setGeolocationEnabled(boolean flag) { + if (mGeolocationEnabled != flag) { + mGeolocationEnabled = flag; + postSync(); + } + } + + /** * Return true if javascript is enabled. <b>Note: The default is false.</b> * @return True if javascript is enabled. */ |
