| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index bb3fbdbae146540b1e8d2f93239dbaf6662cb216..c9e793dc30265f5827a96cb83ee5283c4712ddea 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -580,6 +580,7 @@ private:
|
| bool m_tracksAreReady : 1;
|
| bool m_haveVisibleTextTrack : 1;
|
| bool m_processingPreferenceChange : 1;
|
| + bool m_jumped : 1;
|
| #if ENABLE(OILPAN)
|
| bool m_isFinalizing : 1;
|
| bool m_closeMediaSourceWhenFinalizing : 1;
|
|
|