| Index: third_party/WebKit/Source/core/html/shadow/MediaControls.h
|
| diff --git a/third_party/WebKit/Source/core/html/shadow/MediaControls.h b/third_party/WebKit/Source/core/html/shadow/MediaControls.h
|
| index 2d4fb96875b8e773536c81c5916645cb1ce3a38f..c7da0354fb9ec22fe026d6c2b618df095ad09271 100644
|
| --- a/third_party/WebKit/Source/core/html/shadow/MediaControls.h
|
| +++ b/third_party/WebKit/Source/core/html/shadow/MediaControls.h
|
| @@ -82,9 +82,14 @@ public:
|
| // Notify us that our controls enclosure has changed width.
|
| void notifyPanelWidthChanged(const LayoutUnit& newWidth);
|
|
|
| + // Notify us that the media element's network state has changed.
|
| + void networkStateChanged();
|
| +
|
| DECLARE_VIRTUAL_TRACE();
|
|
|
| private:
|
| + void repaint(Element*);
|
| +
|
| class BatchedControlUpdate;
|
|
|
| explicit MediaControls(HTMLMediaElement&);
|
|
|