var _flutter_undo_manager_plugin_8mm =
[
    [ "FlutterUndoManagerPlugin()", "category_flutter_undo_manager_plugin_07_08.html", "category_flutter_undo_manager_plugin_07_08" ],
    [ "kCanRedo", "_flutter_undo_manager_plugin_8mm.html#a806ced2234441e3b4b33a1c90bfa875d", null ],
    [ "kCanUndo", "_flutter_undo_manager_plugin_8mm.html#a4e1348aca2d9841816ff91a82ee5f336", null ],
    [ "kSetUndoStateMethod", "_flutter_undo_manager_plugin_8mm.html#a404d517a5c6457bc2c3c3ed0ca5b4080", null ]
];