Changeset 761

Timestamp:

01/28/14 10:30:16 (10 years ago)

Author:

davidb

Message:

Code added to load any TTF fonts located in the resources 'fonts' folder

Location:

trunk/src/org/expeditee

Files:

• gui/FrameIO.java (modified) (2 diffs)
• settings/UserSettings.java (modified) (3 diffs)

trunk/src/org/expeditee/gui/FrameIO.java

@@ -60 +60 @@
                 HELP_PATH = PARENT_FOLDER + "documentation" + File.separator;
                 DICT_PATH = PARENT_FOLDER + "dict" + File.separator;
+                FONT_PATH = PARENT_FOLDER + "fonts" + File.separator;
                 PROFILE_PATH = PARENT_FOLDER + "profiles" + File.separator;
                 EXPORTS_DIR = PARENT_FOLDER + "exports" + File.separator;
@@ -85 +86 @@
 
         public static String HELP_PATH;
+
+        public static String FONT_PATH;
         
         public static String TEMPLATES_PATH;

trunk/src/org/expeditee/settings/UserSettings.java

@@ -2 +2 @@
 
 import java.awt.Color;
+import java.awt.Font;
+import java.awt.GraphicsEnvironment;
 import java.io.File;
 import java.io.FileNotFoundException;
@@ -392 +394 @@
         
         
+    protected static final String filenameExtension(String fileName) {
+        // Code excerpt from:
+        //   http://stackoverflow.com/questions/3571223/how-do-i-get-the-file-extension-of-a-file-in-java
+        // packed up here as a method
+
+        String extension = "";
+        
+        int i = fileName.lastIndexOf('.');
+        int p = Math.max(fileName.lastIndexOf('/'), fileName.lastIndexOf('\\'));
+        
+        if (i > p) {
+            extension = fileName.substring(i+1);
+        }
+
+        return extension;
+    }
+
         // add default values
         static {
                 String expeditee_home = System.getProperty("expeditee.home");
                 if (expeditee_home != null) {
-            FrameIO.changeParentFolder(expeditee_home + File.separator);
-        } else {
-                FrameIO.changeParentFolder(getSaveLocation());
-        }
+                    FrameIO.changeParentFolder(expeditee_home + File.separator);
+                } else {
+                    FrameIO.changeParentFolder(getSaveLocation());
+                }
           
                 UserSettings.FrameDirs.get().add(FrameIO.FRAME_PATH);
@@ -409 +428 @@
                 UserSettings.ImageDirs.get().add(FrameIO.IMAGES_PATH);
                 UserSettings.ImageDirs.setDefault(UserSettings.ImageDirs.get());
+                
+                
+                
+                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 = filenameExtension(fontFile.getName().toLowerCase());
+
+                                        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 font Metamorphous");
+                        }
+                }
+                catch (Exception e) {
+                        System.err.println("Failed to load custom font Metamorphous");
+                        e.printStackTrace();
+                }
+
+                
+                
         }