var category_flutter_u_i_press_proxy_07_08 =
[
    [ "event", "category_flutter_u_i_press_proxy_07_08.html#a732cedd494570b02cd719b7700002cba", null ],
    [ "press", "category_flutter_u_i_press_proxy_07_08.html#a93b54ce38687c16ff199833fdf96a1b3", null ]
];