Index: Source/core/html/HTMLPlugInElement.h |
diff --git a/Source/core/html/HTMLPlugInElement.h b/Source/core/html/HTMLPlugInElement.h |
index 0647dfd3d2422d80829c2582f571d44aef7139ff..6a45ace05f05a78b7e72d18fefb93bee3db643eb 100644 |
--- a/Source/core/html/HTMLPlugInElement.h |
+++ b/Source/core/html/HTMLPlugInElement.h |
@@ -68,6 +68,12 @@ public: |
virtual void removeAllEventListeners() OVERRIDE FINAL; |
+ void createPluginWithoutRenderer(const String& mimeType); |
+ // Allows persisted plugins to be registered by their creator. Call this |
+ // function with an argument of 0 to clear the persisted plugin. |
+ void setPlugin(PassRefPtr<Widget>); |
+ PassRefPtr<Widget> plugin(); |
eseidel
2013/10/28 16:59:29
Unless this is passing ownership, I doubt you want
|
+ |
protected: |
HTMLPlugInElement(const QualifiedName& tagName, Document&); |
@@ -101,6 +107,10 @@ private: |
bool m_isCapturingMouseEvents; |
bool m_inBeforeLoadEventHandler; |
DisplayState m_displayState; |
+ |
+ // Keep track of any plugins that wish to be persisted. |
+ RefPtr<Widget> m_plugin; |
+ String m_pluginMimeType; |
}; |
inline HTMLPlugInElement* toHTMLPlugInElement(Node* node) |