*/
{
// grab all the rights we can for the JVM
- Policy.setPolicy(new Policy()
- {
- @Override
- public PermissionCollection getPermissions(CodeSource codesource)
- {
- Permissions perms = new Permissions();
- perms.add(new AllPermission());
- return (perms);
- }
-
- @Override
- public void refresh()
- {
- }
- });
+ Policy.setPolicy(new Policy()
+ {
+ @Override
+ public PermissionCollection getPermissions(CodeSource codesource)
+ {
+ Permissions perms = new Permissions();
+ perms.add(new AllPermission());
+ return (perms);
+ }
+
+ @Override
+ public void refresh()
+ {
+ }
+ });
}
}
class FeatureFetcher
{
/*
- * TODO: generalise to track all jalview events to orchestrate batch processing
- * events.
+ * TODO: generalise to track all jalview events to orchestrate batch
+ * processing events.
*/
private int queued = 0;
*/
public static void main(String[] args)
{
-// setLogging(); // BH - for event debugging in JavaScript
+// 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
+ {
+ // BH - for event debugging in JavaScript
ConsoleHandler consoleHandler = new ConsoleHandler();
consoleHandler.setLevel(Level.ALL);
Logger logger = Logger.getLogger(name);
System.out.println("not in js");
}
- // BH - for event debugging in JavaScript (Java mode only)
+ // BH - for event debugging in JavaScript (Java mode only)
if (!Platform.isJS())
/**
* Java only
*
* @j2sIgnore
*/
- {
- Logger.getLogger("").setLevel(Level.ALL);
+ {
+ 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");
- }
+ }
}