Index: /trunk/aux/cocotron/win32/cocotron/cocotron-r724.patch
===================================================================
--- /trunk/aux/cocotron/win32/cocotron/cocotron-r724.patch	(revision 13449)
+++ /trunk/aux/cocotron/win32/cocotron/cocotron-r724.patch	(revision 13450)
@@ -133,4 +133,58 @@
  
  -(NSMenuItem *)insertItemWithTitle:(NSString *)title action:(SEL)action keyEquivalent:(NSString *)keyEquivalent atIndex:(int)index {
+Index: AppKit/NSFont.m
+===================================================================
+--- AppKit/NSFont.m	(revision 724)
++++ AppKit/NSFont.m	(working copy)
+@@ -169,11 +169,38 @@
+    NSUnimplementedMethod();
+ }
+ 
++-(NSString *)_translateToNibFontName:(NSString *)name {
++   if([name isEqual:@"Arial"])
++    return @"Helvetica";
++   if([name isEqual:@"Arial Bold"])
++    return @"Helvetica-Bold";
++   if([name isEqual:@"Arial Italic"])
++    return @"Helvetica-Oblique";
++   if([name isEqual:@"Arial Bold Italic"])
++    return @"Helvetica-BoldOblique";
++
++   if([name isEqual:@"Times New Roman"])
++    return @"Times-Roman";
++   if([name isEqual:@"Courier New"])
++    return @"Courier";
++
++   if([name isEqual:@"Symbol"])
++    return name;
++
++   return name;
++}
++
+ -(void)encodeWithCoder:(NSCoder *)coder {
+-   NSUnimplementedMethod();
++   if([coder allowsKeyedCoding]){
++     [coder encodeObject:[self _translateToNibFontName:_name] forKey:@"NSName"];
++     [coder encodeFloat:_pointSize forKey:@"NSSize"];
++   }
++   else {
++    [NSException raise:NSInvalidArgumentException format:@"%@ can not encodeWithCoder:%@",isa,[coder class]];
++   }
+ }
+ 
+--(NSString *)_translateNibFontName:(NSString *)name {
++-(NSString *)_translateFromNibFontName:(NSString *)name {
+ 
+    if([name isEqual:@"Helvetica"])
+     return @"Arial";
+@@ -200,7 +227,7 @@
+ -initWithCoder:(NSCoder *)coder {
+    if([coder allowsKeyedCoding]){
+     NSKeyedUnarchiver *keyed=(NSKeyedUnarchiver *)coder;
+-    NSString          *name=[self _translateNibFontName:[keyed decodeObjectForKey:@"NSName"]];
++    NSString          *name=[self _translateFromNibFontName:[keyed decodeObjectForKey:@"NSName"]];
+     float              size=[keyed decodeFloatForKey:@"NSSize"];
+     // int                flags=[keyed decodeIntForKey:@"NSfFlags"]; // ?
+     
 Index: AppKit/AppKit.xcodeproj/project.pbxproj
 ===================================================================