var interface_fake_flutter_undo_manager_delegate =
[
    [ "initWithUndoManager:activeTextInputView:", "interface_fake_flutter_undo_manager_delegate.html#adf503f381ed9d967e93ce1c4a5a80d86", null ],
    [ "redoCount", "interface_fake_flutter_undo_manager_delegate.html#a11af4f50f41d881b7a9a7989f1af6f39", null ],
    [ "undoCount", "interface_fake_flutter_undo_manager_delegate.html#a9bcb3cc31f73ccd0810fe1016d42367d", null ],
    [ "undoManager", "interface_fake_flutter_undo_manager_delegate.html#ae76abc674782dcbee3d4f1122689e62e", null ]
];