| Index: Source/WebCore/page/Settings.h
|
| diff --git a/Source/WebCore/page/Settings.h b/Source/WebCore/page/Settings.h
|
| index 2adaead33a673109491c1faa66dd97919a6506d2..54b4981c07dfb5ce3ba23861992f263aa40bf44b 100644
|
| --- a/Source/WebCore/page/Settings.h
|
| +++ b/Source/WebCore/page/Settings.h
|
| @@ -125,6 +125,8 @@ namespace WebCore {
|
| bool isScriptEnabled() const { return m_isScriptEnabled; }
|
| void setScriptEnabled(bool);
|
|
|
| + // NB: This define is generated by a script. To add a new setting, you
|
| + // need to modify the script's input, Settings.in.
|
| SETTINGS_GETTERS_AND_SETTERS
|
|
|
| void setJavaEnabled(bool);
|
|
|