diff options
Diffstat (limited to 'Source/WebCore/html/HTMLMediaElement.h')
| -rw-r--r-- | Source/WebCore/html/HTMLMediaElement.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/WebCore/html/HTMLMediaElement.h b/Source/WebCore/html/HTMLMediaElement.h index 604cdf8..987cf87 100644 --- a/Source/WebCore/html/HTMLMediaElement.h +++ b/Source/WebCore/html/HTMLMediaElement.h @@ -417,6 +417,10 @@ private: bool m_dispatchingCanPlayEvent : 1; bool m_loadInitiatedByUserGesture : 1; bool m_completelyLoaded : 1; + +#if PLATFORM(ANDROID) + double m_lastTouch; +#endif }; } //namespace |