| Index: third_party/WebKit/Source/core/editing/Editor.h
|
| diff --git a/third_party/WebKit/Source/core/editing/Editor.h b/third_party/WebKit/Source/core/editing/Editor.h
|
| index dd4d3f2f9d18d91c0e4d2929aae9c58b293dfba2..aadb0651f3fe09270f77d747ad2f2930b55dde42 100644
|
| --- a/third_party/WebKit/Source/core/editing/Editor.h
|
| +++ b/third_party/WebKit/Source/core/editing/Editor.h
|
| @@ -98,7 +98,7 @@ class CORE_EXPORT Editor final : public GarbageCollectedFinalized<Editor> {
|
| bool CanSmartCopyOrDelete() const;
|
|
|
| void Cut(EditorCommandSource);
|
| - void Copy();
|
| + void Copy(EditorCommandSource);
|
| void Paste(EditorCommandSource);
|
| void PasteAsPlainText(EditorCommandSource);
|
| void PerformDelete();
|
|
|