Skip to content
Snippets Groups Projects
Commit bcbc707e authored by George Nachman's avatar George Nachman
Browse files

Try to fix bug 2593

parent 5b056749
No related branches found
No related tags found
No related merge requests found
Loading
Loading
@@ -1132,10 +1132,14 @@ NSString *sessionsKey = @"sessions";
}
 
if ([[PreferencePanel sharedInstance] windowNumber]) {
[[self window] setTitle:[NSString stringWithFormat:@"%d. %@", number_+1, title]];
} else {
[[self window] setTitle:title];
title = [NSString stringWithFormat:@"%d. %@", number_+1, title];
}
// In bug 2593, we see a crazy thing where setting the window title right
// after a window is created causes it to have the wrong background color.
// A delay of 0 doesn't fix it. I'm at wit's end here, so this will have to
// do until a better explanation comes along.
[[self window] performSelector:@selector(setTitle:) withObject:title afterDelay:0.1];
}
 
- (BOOL)tempTitle
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment