Index: third_party/WebKit/Source/core/editing/markers/DocumentMarkerController.h |
diff --git a/third_party/WebKit/Source/core/editing/markers/DocumentMarkerController.h b/third_party/WebKit/Source/core/editing/markers/DocumentMarkerController.h |
index 08b2e64320847b16760d3d3654e6b97e170044b2..d759b830964c19c5772b67eb272b1d8a3637541b 100644 |
--- a/third_party/WebKit/Source/core/editing/markers/DocumentMarkerController.h |
+++ b/third_party/WebKit/Source/core/editing/markers/DocumentMarkerController.h |
@@ -53,11 +53,13 @@ class MarkerRemoverPredicate final { |
}; |
class CORE_EXPORT DocumentMarkerController final |
- : public GarbageCollected<DocumentMarkerController> { |
+ : public GarbageCollected<DocumentMarkerController>, |
+ public SynchronousMutationObserver { |
WTF_MAKE_NONCOPYABLE(DocumentMarkerController); |
+ USING_GARBAGE_COLLECTED_MIXIN(DocumentMarkerController); |
public: |
- explicit DocumentMarkerController(const Document&); |
+ explicit DocumentMarkerController(Document&); |
void clear(); |
void addMarker(const Position& start, |
@@ -130,6 +132,12 @@ class CORE_EXPORT DocumentMarkerController final |
void showMarkers() const; |
#endif |
+ // SynchronousMutationObserver |
+ void didUpdateCharacterData(CharacterData*, |
+ unsigned offset, |
+ unsigned oldLength, |
+ unsigned newLength) final; |
+ |
private: |
void addMarker(Node*, const DocumentMarker&); |