| 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 603fccec5c76d0cc5d4484237f4e5aa36986ef9e..6c05079cfa993060965fbb8be0a2a05bf16e5563 100644
|
| --- a/third_party/WebKit/Source/core/editing/Editor.h
|
| +++ b/third_party/WebKit/Source/core/editing/Editor.h
|
| @@ -350,7 +350,7 @@ class CORE_EXPORT Editor final : public GarbageCollectedFinalized<Editor> {
|
| void revealSelectionAfterEditingOperation(
|
| const ScrollAlignment& = ScrollAlignment::alignCenterIfNeeded,
|
| RevealExtentOption = DoNotRevealExtent);
|
| - void changeSelectionAfterCommand(const VisibleSelection& newSelection,
|
| + void changeSelectionAfterCommand(const SelectionInDOMTree&,
|
| FrameSelection::SetSelectionOptions);
|
|
|
| SpellChecker& spellChecker() const;
|
|
|