var interface_flutter_undo_manager_plugin_test =
[
    [ "activeTextInputView", "interface_flutter_undo_manager_plugin_test.html#af885c444f99b47553ed7f76cb966d82a", null ],
    [ "undoManager", "interface_flutter_undo_manager_plugin_test.html#ad8f124fa468562bc3968fcdcac4a99cc", null ],
    [ "undoManagerDelegate", "interface_flutter_undo_manager_plugin_test.html#a4bdb2d7e43243d7d1956b7b7ed84d280", null ],
    [ "undoManagerPlugin", "interface_flutter_undo_manager_plugin_test.html#a715809dd0158003161251ceef82234fd", null ]
];