var interface_flutter_text_range =
[
    [ "rangeWithNSRange:", "interface_flutter_text_range.html#aee51722ef7ce1675cfce529265fc0778", null ],
    [ "range", "interface_flutter_text_range.html#afd887e1298914e4ebf0f3fdf22b11c36", null ]
];