[DL-Learner SVN] SF.net SVN: dl-learner:[1862] trunk/src/dl-learner/org/dllearner/tools/ore

[<lor...@us...>]

Revision: 1862
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1862&view=rev
Author:   lorenz_b
Date:     2009-09-24 11:32:09 +0000 (Thu, 24 Sep 2009)

Log Message:
-----------
changed text font

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/tools/ore/OREApplication.java
    trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/Wizard.java
    trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/IntroductionPanel.java

Modified: trunk/src/dl-learner/org/dllearner/tools/ore/OREApplication.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/OREApplication.java	2009-09-24 10:46:15 UTC (rev 1861)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/OREApplication.java	2009-09-24 11:32:09 UTC (rev 1862)
@@ -21,14 +21,20 @@
 package org.dllearner.tools.ore;
 
 import java.awt.Dimension;
+import java.awt.Font;
 import java.io.File;
 import java.net.MalformedURLException;
 import java.net.URL;
+import java.util.Collections;
+import java.util.Comparator;
 import java.util.Locale;
+import java.util.Vector;
 
 import javax.swing.SwingUtilities;
+import javax.swing.UIDefaults;
 import javax.swing.UIManager;
 import javax.swing.UnsupportedLookAndFeelException;
+import javax.swing.plaf.FontUIResource;
 
 import org.apache.log4j.PropertyConfigurator;
 import org.dllearner.tools.ore.ui.wizard.Wizard;
@@ -64,6 +70,25 @@
     	try {
 //    		UIManager.setLookAndFeel(UIManager.getCrossPlatformLookAndFeelClassName());
 			UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
+			UIDefaults def = UIManager.getLookAndFeelDefaults();
+			Vector<?> vec = new Vector<Object>(def.keySet());
+			Collections.sort(vec, new Comparator<Object>() {
+
+			  public int compare(Object arg0, Object arg1) {
+			    return arg0.toString().compareTo(arg1.toString());
+			  }
+
+			});
+
+			for (Object obj : vec) {
+				if(obj.toString().endsWith(".font")){
+					FontUIResource fur = (FontUIResource)UIManager.get(obj);
+					Font f = new Font("Verdana", Font.PLAIN, fur.getSize());
+					UIManager.put(obj, new FontUIResource(f));
+				}
+			}
+			
+			
 		} catch (ClassNotFoundException e) {
 			// TODO Auto-generated catch block
 			e.printStackTrace();

Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/Wizard.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/Wizard.java	2009-09-24 10:46:15 UTC (rev 1861)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/Wizard.java	2009-09-24 11:32:09 UTC (rev 1862)
@@ -26,7 +26,6 @@
 import java.awt.Color;
 import java.awt.Component;
 import java.awt.Dialog;
-import java.awt.Font;
 import java.awt.Frame;
 import java.awt.Insets;
 import java.awt.event.WindowAdapter;
@@ -435,7 +434,7 @@
         informationsField.setBackground(new Color(color.getRed(), color.getGreen(), color.getBlue()));
         informationsField.setOpaque(true);
         informationsField.setEditable(false);
-        informationsField.setFont(new Font("Serif", Font.PLAIN, 14));
+       
               
         wizardDialog.getContentPane().add(buttonPanel, java.awt.BorderLayout.SOUTH);
         

Modified: trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/IntroductionPanel.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/IntroductionPanel.java	2009-09-24 10:46:15 UTC (rev 1861)
+++ trunk/src/dl-learner/org/dllearner/tools/ore/ui/wizard/panels/IntroductionPanel.java	2009-09-24 11:32:09 UTC (rev 1862)
@@ -22,7 +22,6 @@
 
 
 import java.awt.Color;
-import java.awt.Font;
 import java.awt.GridBagConstraints;
 import java.awt.GridBagLayout;
 
@@ -78,7 +77,6 @@
     	 	   
         welcomeTitle = new JLabel();
         welcomeTitle.setBorder(BorderFactory.createMatteBorder(0, 0, 1, 0, new Color(0, 0, 0)));
-        welcomeTitle.setFont(new java.awt.Font("MS Sans Serif", Font.BOLD, 14));
         welcomeTitle.setText(titleText);
         add(welcomeTitle, c);
         
@@ -88,7 +86,6 @@
         instructionsField.setBackground(new Color(color.getRed(), color.getGreen(), color.getBlue()));
         instructionsField.setOpaque(true);
         instructionsField.setEditable(false);
-        instructionsField.setFont(new Font("Serif", Font.PLAIN, 14));
         instructionsField.setText(introductionText);
         add(instructionsField, c);
         


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.