r6420, so both drawing.c _and_ the front end were prepending the
time to the front of the Mines status bar, leading to a double
timestamp.
[originally from svn r6796]
[r6420 ==
240b6cab8ce8729b7270a0411ab39038814058f1]
- (void)setStatusLine:(char *)text
{
- char *rewritten = midend_rewrite_statusbar(me, text);
- [[status cell] setTitle:[NSString stringWithCString:rewritten]];
- sfree(rewritten);
+ [[status cell] setTitle:[NSString stringWithCString:text]];
}
@end