Index: Source/core/dom/Document.h |
diff --git a/Source/core/dom/Document.h b/Source/core/dom/Document.h |
index 0c183b7a0d52a23896ec5b0f2d1221111b5d4a8b..6f3c7cfa07f17e4885acd4c934da44ac711eb0ea 100644 |
--- a/Source/core/dom/Document.h |
+++ b/Source/core/dom/Document.h |
@@ -851,6 +851,8 @@ public: |
Document* parentDocument() const; |
Document* topDocument() const; |
+ int docID() const { return m_docID; } |
+ |
ScriptRunner* scriptRunner() { return m_scriptRunner.get(); } |
void applyXSLTransform(ProcessingInstruction* pi); |
@@ -1188,6 +1190,7 @@ private: |
OwnPtr<StyleResolver> m_styleResolver; |
bool m_didCalculateStyleResolver; |
+ bool m_hasDirtyStyleResolver; |
bool m_hasNodesWithPlaceholderStyle; |
bool m_needsNotifyRemoveAllPendingStylesheet; |
// But sometimes you need to ignore pending stylesheet count to |
@@ -1318,6 +1321,8 @@ private: |
OwnPtr<TransformSource> m_transformSource; |
RefPtr<Document> m_transformSourceDocument; |
+ int m_docID; // A unique document identifier used for things like document-specific mapped attributes. |
+ |
String m_xmlEncoding; |
String m_xmlVersion; |
unsigned m_xmlStandalone : 2; |