Tab selection messages are ignored; selection is done when tabline updates.

git-svn-id: http://macvim.googlecode.com/svn/trunk@89 96c4425d-ca35-0410-94e5-3396d5c13a8f
This commit is contained in:
Bjorn Winckler
2007-08-06 13:22:50 +00:00
parent 0351dd2f05
commit 7249a58d74
+2
View File
@@ -418,10 +418,12 @@ static NSMenuItem *findMenuItemWithTagInMenu(NSMenu *root, int tag)
[self performBatchDrawWithData:data];
} else if (SelectTabMsgID == msgid) {
#if 0 // NOTE: Tab selection is done inside updateTabsWithData:.
const void *bytes = [data bytes];
int idx = *((int*)bytes);
//NSLog(@"Selecting tab with index %d", idx);
[windowController selectTabWithIndex:idx];
#endif
} else if (UpdateTabBarMsgID == msgid) {
//NSLog(@"Updating tabs");
[windowController updateTabsWithData:data];