Index: Source/core/dom/Element.h |
diff --git a/Source/core/dom/Element.h b/Source/core/dom/Element.h |
index b7ab024e80db9358e02f6172f6c7f81534ecf041..e8af09b398f3cbf5f59783c03b210e7665f1b592 100644 |
--- a/Source/core/dom/Element.h |
+++ b/Source/core/dom/Element.h |
@@ -492,7 +492,7 @@ public: |
void webkitRequestFullscreen(); |
bool isInTopLayer() const; |
- void setIsInTopLayer(bool); |
+ virtual void setIsInTopLayer(bool); |
void webkitRequestPointerLock(); |