var category_flutter_undo_manager_plugin_07_08 =
[
    [ "undoManager", "category_flutter_undo_manager_plugin_07_08.html#a1e3cb38d7ca918937fbb03059ec2a920", null ],
    [ "undoManagerDelegate", "category_flutter_undo_manager_plugin_07_08.html#a2f81c27da2df769eecd3e9d096a0751d", null ]
];