diff options
Diffstat (limited to 'Source/WebKit/chromium/public/WebWidget.h')
| -rw-r--r-- | Source/WebKit/chromium/public/WebWidget.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/WebKit/chromium/public/WebWidget.h b/Source/WebKit/chromium/public/WebWidget.h index ca160a26e..58f3fa169 100644 --- a/Source/WebKit/chromium/public/WebWidget.h +++ b/Source/WebKit/chromium/public/WebWidget.h @@ -107,6 +107,11 @@ public: // animate or layout in this case. virtual void composite(bool finish) = 0; + // Temporary method for the embedder to notify the WebWidget that the widget + // has taken damage, e.g. due to a window expose. This method will be + // removed when the WebWidget inversion patch lands --- http://crbug.com/112837 + virtual void setNeedsRedraw() { } + // Called to inform the WebWidget of a change in theme. // Implementors that cache rendered copies of widgets need to re-render // on receiving this message |