var protocol_flutter_undo_manager_delegate_p =
[
    [ "flutterUndoManagerPlugin:handleUndoWithDirection:", "protocol_flutter_undo_manager_delegate-p.html#a2f2c937569408bcf2dc0800ad6444ce5", null ]
];