var interface_fake_flutter_undo_manager_delegate =
[
    [ "initWithUndoManager:activeTextInputView:", "interface_fake_flutter_undo_manager_delegate.html#ad63f6a9e33d7198ab89f5f00c07c8a63", null ],
    [ "activeTextInputView", "interface_fake_flutter_undo_manager_delegate.html#a7af7c5dd2038eabbea3a71d18c0da88a", 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 ]
];