import jalview.urls.IdOrgSettings;
import jalview.util.ImageMaker;
import jalview.util.MessageManager;
+import jalview.util.Platform;
import jalview.util.UrlConstants;
import jalview.viewmodel.AlignmentViewport;
import jalview.ws.params.ParamManager;
import java.awt.dnd.DropTargetListener;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
-import java.awt.event.FocusEvent;
-import java.awt.event.FocusListener;
import java.awt.event.KeyEvent;
import java.awt.event.MouseAdapter;
import java.awt.event.MouseEvent;
// This line prevents Windows Look&Feel resizing all new windows to maximum
// if previous window was maximised
desktop.setDesktopManager(
- new MyDesktopManager(new DefaultDesktopManager()));
+ new MyDesktopManager(
+ (Platform.isWindows() ? new DefaultDesktopManager()
+ : Platform.isAMac()
+ ? new AquaInternalFrameManager(
+ desktop.getDesktopManager())
+ : desktop.getDesktopManager())));
Rectangle dims = getLastKnownDimensions("");
if (dims != null)
});
desktop.addMouseListener(ma);
- this.addFocusListener(new FocusListener()
- {
-
- @Override
- public void focusLost(FocusEvent e)
- {
- // TODO Auto-generated method stub
-
- }
-
- @Override
- public void focusGained(FocusEvent e)
- {
- Cache.log.debug("Relaying windows after focus gain");
- // make sure that we sort windows properly after we gain focus
- instance.relayerWindows();
- }
- });
this.setDropTarget(new java.awt.dnd.DropTarget(desktop, this));
// Spawn a thread that shows the splashscreen
SwingUtilities.invokeLater(new Runnable()
fileFormat);
Cache.log.debug("Filechooser init thread finished.");
}
- }).start();
+ }, "InitFileChooserThread").start();
// Add the service change listener
changeSupport.addJalviewPropertyChangeListener("services",
new PropertyChangeListener()
Desktop.instance.setProgressBar(null, now);
jvnews.showNews();
}
- }).start();
+ }, "ShowNewsWindowThread").start();
}
}
}
JInternalFrame itf = desktop.getSelectedFrame();
if (itf != null)
{
+ if (itf instanceof AlignFrame)
+ {
+ Jalview.setCurrentAlignFrame((AlignFrame) itf);
+ }
itf.requestFocus();
}
}
menuItem.removeActionListener(menuItem.getActionListeners()[0]);
}
windowMenu.remove(menuItem);
- JInternalFrame itf = desktop.getSelectedFrame();
- if (itf != null)
- {
- itf.requestFocus();
- if (itf instanceof AlignFrame)
- {
- Jalview.setCurrentAlignFrame((AlignFrame) itf);
- }
- }
+
System.gc();
};
});
if (format == null)
{
JvOptionPane.showInternalMessageDialog(Desktop.desktop,
- MessageManager.formatMessage("label.couldnt_locate",
- new Object[]
+ MessageManager.formatMessage(
+ "label.couldnt_locate",
+ new String[]
{ url }),
MessageManager.getString("label.url_not_found"),
JvOptionPane.WARNING_MESSAGE);
{
new SplashScreen(true);
}
- }).start();
+ }, "ShowAboutMenuThread").start();
}
public StringBuffer getAboutMessage(boolean shortv)
}
setProgressBar(null, choice.hashCode());
}
- }).start();
+ }, "SaveJalviewProjectThread").start();
}
}
}
setProgressBar(null, choice.hashCode());
}
- }).start();
+ }, "LoadJalviewProjectThread").start();
}
}
dsktp.v_client.initial_update();
}
- });
+ }, "VamsasSessionThread");
rthr.start();
}
};
{
UserQuestionnaireCheck jvq = new UserQuestionnaireCheck(url);
// javax.swing.SwingUtilities.invokeLater(jvq);
- new Thread(jvq).start();
+ new Thread(jvq, "CheckQuestionnaireThread").start();
}
public void checkURLLinks()
this.showMemoryUsage = showMemory;
if (showMemory)
{
- Thread worker = new Thread(this);
+ Thread worker = new Thread(this, "ShowMemoryUsageThread");
worker.start();
}
+ repaint();
}
public boolean isShowMemoryUsage()
}
}
- /**
- * fixes stacking order after a modal dialog to ensure windows that should be
- * on top actually are
- */
- public void relayerWindows()
- {
-
- }
/**
* Accessor method to quickly get all the AlignmentFrames loaded.
}
// JAL-940 - disabled JWS1 service configuration - always start discoverer
// until we phase out completely
- (t0 = new Thread(discoverer)).start();
+ (t0 = new Thread(discoverer, "DiscovererThread")).start();
}
if (Cache.getDefault("SHOW_JWS2_SERVICES", true))
progress.setProgressBar(null, this.hashCode());
}
}
- }).start();
+ }, "OpenURLThread").start();
}
public static WsParamSetManager wsparamManager = null;