Index: Source/platform/Widget.h |
diff --git a/Source/platform/Widget.h b/Source/platform/Widget.h |
index 4b042fc06ef12b3acef6f99f45ed32dd08b8c3c5..d14027312da9f41b04b66c5ebd6a37c2a0927e05 100644 |
--- a/Source/platform/Widget.h |
+++ b/Source/platform/Widget.h |
@@ -133,6 +133,10 @@ public: |
// Notifies this widget that it will no longer be receiving events. |
virtual void eventListenersRemoved() { } |
+#if ENABLE(OILPAN) |
+ virtual void detach() { } |
+#endif |
+ |
private: |
Widget* m_parent; |
IntRect m_frame; |