var interface_flutter_undo_manager_plugin_test =
[
    [ "engine", "interface_flutter_undo_manager_plugin_test.html#a88f2f18fc3b1f26b4f2fb2e0307080ae", null ],
    [ "undoManager", "interface_flutter_undo_manager_plugin_test.html#ad8f124fa468562bc3968fcdcac4a99cc", null ],
    [ "undoManagerPlugin", "interface_flutter_undo_manager_plugin_test.html#ac196b09c098c01f66efd149cbb4f58f6", null ],
    [ "viewController", "interface_flutter_undo_manager_plugin_test.html#ab67865bbb7e0942c47c067e399539090", null ]
];