var protocol_flutter_undo_manager_delegate_p =
[
    [ "handleUndoWithDirection:", "protocol_flutter_undo_manager_delegate-p.html#ab81c245c679b24d5b14ff9b0aeb1c888", null ],
    [ "activeTextInputView", "protocol_flutter_undo_manager_delegate-p.html#a864dc2780cef8b8e264e4ce12456ee04", null ],
    [ "undoManager", "protocol_flutter_undo_manager_delegate-p.html#afe19cef5d483ca9ae56858d20585c4db", null ]
];