deal with crash causing problems with bad fonts

This commit is contained in:
benfry
2012-03-27 01:34:50 +00:00
parent 27acc5adf8
commit 6e246243fd
2 changed files with 10 additions and 2 deletions
+8 -2
View File
@@ -116,8 +116,14 @@ public class CreateFont extends JFrame implements Tool {
//String psname = fonts[i].getPSName();
//if (psname == null) System.err.println("ps name is null");
flist[index++] = fonts[i].getPSName();
table.put(fonts[i].getPSName(), fonts[i]);
try {
flist[index++] = fonts[i].getPSName();
table.put(fonts[i].getPSName(), fonts[i]);
} catch (Exception e) {
// Sometimes fonts cause lots of trouble.
// http://code.google.com/p/processing/issues/detail?id=442
e.printStackTrace();
}
}
list = new String[index];
+2
View File
@@ -11,6 +11,8 @@ X seems to have been fixed earlier
X Base.listFiles does not list recursively if extension is given
X this is for fjen/js.. fix already contributed:
X http://code.google.com/p/processing/issues/detail?id=718
X ByteUnderflowException thrown and Font not reported
X http://code.google.com/p/processing/issues/detail?id=442
fixed earlier
X Export reports "Could not copy source file" (even though it works)