| Index: third_party/WebKit/Source/core/editing/markers/DocumentMarker.h
|
| diff --git a/third_party/WebKit/Source/core/editing/markers/DocumentMarker.h b/third_party/WebKit/Source/core/editing/markers/DocumentMarker.h
|
| index dbcfdf2964555be13aa50b7551bf2305f37a6fd8..63bc3f207b131d5701d913c766cf74b1a5b5d033 100644
|
| --- a/third_party/WebKit/Source/core/editing/markers/DocumentMarker.h
|
| +++ b/third_party/WebKit/Source/core/editing/markers/DocumentMarker.h
|
| @@ -158,7 +158,7 @@ class CORE_EXPORT DocumentMarker : public GarbageCollected<DocumentMarker> {
|
| Color backgroundColor() const;
|
| DocumentMarkerDetails* details() const;
|
|
|
| - void setActiveMatch(bool);
|
| + void setIsActiveMatch(bool);
|
| void clearDetails() { m_details.clear(); }
|
|
|
| // Offset modifications are done by DocumentMarkerController.
|
|
|