diff options
author | Kristian Monsen <kristianm@google.com> | 2010-09-08 12:18:00 +0100 |
---|---|---|
committer | Kristian Monsen <kristianm@google.com> | 2010-09-11 12:08:58 +0100 |
commit | 5ddde30071f639962dd557c453f2ad01f8f0fd00 (patch) | |
tree | 775803c4ab35af50aa5f5472cd1fb95fe9d5152d /WebKit/wx/WebSettings.h | |
parent | 3e63d9b33b753ca86d0765d1b3d711114ba9e34f (diff) | |
download | external_webkit-5ddde30071f639962dd557c453f2ad01f8f0fd00.zip external_webkit-5ddde30071f639962dd557c453f2ad01f8f0fd00.tar.gz external_webkit-5ddde30071f639962dd557c453f2ad01f8f0fd00.tar.bz2 |
Merge WebKit at r66666 : Initial merge by git.
Change-Id: I57dedeb49859adc9c539e760f0e749768c66626f
Diffstat (limited to 'WebKit/wx/WebSettings.h')
-rw-r--r-- | WebKit/wx/WebSettings.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/WebKit/wx/WebSettings.h b/WebKit/wx/WebSettings.h index 148755a..9ab5502 100644 --- a/WebKit/wx/WebSettings.h +++ b/WebKit/wx/WebSettings.h @@ -66,6 +66,8 @@ public: {} wxWebSettings() : wxObject() {} + + virtual ~wxWebSettings() { } /** Sets the default font size for fixed fonts. |