Disable undo/redo menu items when appropriate

This commit is contained in:
Allan Odgaard
2012-09-10 22:39:32 +02:00
parent cf5b5965da
commit 5dea94da01

View File

@@ -1651,6 +1651,10 @@ static void update_menu_key_equivalents (NSMenu* menu, action_to_key_t const& ac
[aMenuItem setState:custom ? NSOnState : NSOffState];
}
}
else if([aMenuItem action] == @selector(undo:))
return document->undo_manager().can_undo();
else if([aMenuItem action] == @selector(redo:))
return document->undo_manager().can_redo();
return YES;
}