Changeset 777 for trunk/src/org/expeditee/items

Timestamp:

01/29/14 10:29:04 (10 years ago)

Author:

jts21

Message:

Only try to init fonts after they've been extracted so they can actually be loaded

File:

• trunk/src/org/expeditee/items/Text.java (modified) (4 diffs)

trunk/src/org/expeditee/items/Text.java

@@ -7 +7 @@
 import java.awt.GradientPaint;
 import java.awt.Graphics2D;
+import java.awt.GraphicsEnvironment;
 import java.awt.Point;
 import java.awt.Polygon;
@@ -22 +23 @@
 import java.awt.geom.Point2D;
 import java.awt.geom.Rectangle2D;
+import java.io.File;
 import java.text.AttributedString;
 import java.util.Collection;
@@ -39 +41 @@
 import org.expeditee.gui.FreeItems;
 import org.expeditee.math.ExpediteeJEP;
-import org.expeditee.settings.UserSettings;
 import org.expeditee.settings.experimental.ExperimentalFeatures;
 import org.nfunk.jep.Node;
@@ -142 +143 @@
         // The font to display this text in
         private Font _font;
+        
+        public static void InitFonts() {
+                try {
+                        GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment();
+
+                        if (ge != null) {
+                                
+                            File fontDirectory = new File(FrameIO.FONT_PATH);
+                            if (fontDirectory != null) {
+                                File[] fontFiles = fontDirectory.listFiles();
+                                if (fontFiles != null) {
+    
+                                    if (fontFiles.length>0) {
+                                        System.out.println("Loading custom fonts:");
+                                    }
+    
+                                    boolean first_item = true;                              
+                                    for (File fontFile : fontFiles) {
+                                        String ext = "";
+                                        String fileName = fontFile.getName().toLowerCase();
+                                
+                                        int i = fileName.lastIndexOf('.');
+                                int p = Math.max(fileName.lastIndexOf('/'), fileName.lastIndexOf('\\'));
+                                
+                                if (i > p) {
+                                    ext = fileName.substring(i+1);
+                                }
+        
+                                                if (ext.equals("ttf")) {
+                                                    if (first_item) {
+                                                        System.out.print("  " + fontFile.getName());
+                                                    }
+                                                    else {
+                                                        System.out.print(", " + fontFile.getName());
+                                                    }
+                                                    System.out.flush();
+        
+                                                    Font font = Font.createFont(Font.TRUETYPE_FONT, fontFile);
+                                                    
+                                                    ge.registerFont(font);
+                                                    first_item = false;
+                                                }
+                                    }
+                                    System.out.println();
+    
+                                }
+                            }
+                        }
+                        else {
+                                System.err.println("No graphics environment detected.  Skipping the loading of the custom fonts");
+                        }
+                }
+                catch (Exception e) {
+                        System.err.println("Failed to load custom fonts");
+                        e.printStackTrace();
+                }
+        }
 
         /**