equal
deleted
inserted
replaced
60 |
60 |
61 public Object run() { |
61 public Object run() { |
62 String eudcFile = getEUDCFontFile(); |
62 String eudcFile = getEUDCFontFile(); |
63 if (eudcFile != null) { |
63 if (eudcFile != null) { |
64 try { |
64 try { |
|
65 /* Must use Java rasteriser since GDI doesn't |
|
66 * enumerate (allow direct use) of EUDC fonts. |
|
67 */ |
65 eudcFont = new TrueTypeFont(eudcFile, null, 0, |
68 eudcFont = new TrueTypeFont(eudcFile, null, 0, |
66 false); |
69 true); |
67 } catch (FontFormatException e) { |
70 } catch (FontFormatException e) { |
68 } |
71 } |
69 } |
72 } |
70 return null; |
73 return null; |
71 } |
74 } |