var category_flutter_channel_key_responder_07_08 =
[
    [ "channel", "category_flutter_channel_key_responder_07_08.html#a1676e255226d81765ad5ced60c63a9eb", null ],
    [ "previouslyPressedFlags", "category_flutter_channel_key_responder_07_08.html#aeac15ab90ee3d21185137faf66028905", null ]
];