Index: public/web/WebWidget.h |
diff --git a/public/web/WebWidget.h b/public/web/WebWidget.h |
index d191c26e509affb2483959ea816c4429e4b67782..5fd237e10d5cbf8b39b1e839d9afd5668bb6880b 100644 |
--- a/public/web/WebWidget.h |
+++ b/public/web/WebWidget.h |
@@ -273,6 +273,8 @@ public: |
// Sets the height subtracted from the Widget to accomodate the top controls. |
virtual void setTopControlsLayoutHeight(float) { } |
+ virtual void forceNextWebGLContextCreationToFail() { } |
+ |
protected: |
~WebWidget() { } |
}; |