X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalview.java;h=807105ab223148929296fd178503ce0a524839dc;hb=15a0e4b34d301c187569de8cb429d5d380bdaf0f;hp=37f396eb842d5d6a204ee8279559c200dba18460;hpb=fc895e8dacdbb7f49df0ec5c9f475b841082e9b3;p=jalview.git

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index 37f396e..807105a 100755
--- a/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@ -60,6 +60,9 @@ import java.security.Policy;
 import java.util.HashMap;
 import java.util.Map;
 import java.util.Vector;
+import java.util.logging.ConsoleHandler;
+import java.util.logging.Level;
+import java.util.logging.Logger;
 
 import javax.swing.LookAndFeel;
 import javax.swing.UIManager;
@@ -204,10 +207,40 @@ public class Jalview
    */
   public static void main(String[] args)
   {
+//	setLogging(); // BH - for event debugging in JavaScript
     instance = new Jalview();
     instance.doMain(args);
   }
 
+  private static void logClass(String name) 
+  {	
+	  // BH - for event debugging in JavaScript
+      ConsoleHandler consoleHandler = new ConsoleHandler();
+      consoleHandler.setLevel(Level.ALL);
+      Logger logger = Logger.getLogger(name);
+      logger.setLevel(Level.ALL);
+      logger.addHandler(consoleHandler);
+  }
+
+  @SuppressWarnings("unused")
+  private static void setLogging() 
+  {
+	  // BH - for event debugging in JavaScript (Java mode only)
+  	if (!(/** @j2sNative true ||*/false)) 
+  	{
+  		Logger.getLogger("").setLevel(Level.ALL);
+        logClass("java.awt.EventDispatchThread");
+        logClass("java.awt.EventQueue");
+        logClass("java.awt.Component");
+        logClass("java.awt.focus.Component");
+        logClass("java.awt.focus.DefaultKeyboardFocusManager"); 
+  	}	
+
+  }
+  
+
+  
+
   /**
    * @param args
    */
@@ -364,7 +397,16 @@ public class Jalview
 
     if (!headless)
     {
-      desktop = new Desktop();
+      desktop = new Desktop() 
+//      {
+// // BH testing
+//    	  @Override
+//    	  protected void processEvent(AWTEvent e) {
+//    		  System.out.println("Jalview.java " + e);
+//    		  super.processEvent(e);
+//    	  }
+//       }
+      ;
       desktop.setInBatchMode(true); // indicate we are starting up
       desktop.setVisible(true);