Index: public/web/WebSettings.h |
diff --git a/public/web/WebSettings.h b/public/web/WebSettings.h |
index ec7bc3fc543fba36e36ec6fc61f3bb48a1aa32c1..da2fd18dfdf315cfcad66ab141f0ddacd06588d9 100644 |
--- a/public/web/WebSettings.h |
+++ b/public/web/WebSettings.h |
@@ -181,6 +181,7 @@ |
virtual void setImagesEnabled(bool) = 0; |
virtual void setInlineTextBoxAccessibilityEnabled(bool) = 0; |
virtual void setInvertViewportScrollOrder(bool) = 0; |
+ virtual void setJavaEnabled(bool) = 0; |
virtual void setJavaScriptCanAccessClipboard(bool) = 0; |
virtual void setJavaScriptCanOpenWindowsAutomatically(bool) = 0; |
virtual void setJavaScriptEnabled(bool) = 0; |