if (_ifc.rotatingBackgrounds != null) {
if (_ifc.backgroundImage != null) {
log.warning("ui.background_image and ui.rotating_background were both specified. " +
- "The rotating images are being used.");
+ "The background image is being used.");
}
- return new RotatingBackgrounds(_ifc.rotatingBackgrounds, _ifc.errorBackground,
- Getdown.this);
+ return new RotatingBackgrounds(loadImage(_ifc.backgroundImage));
+ //return new RotatingBackgrounds(_ifc.rotatingBackgrounds, _ifc.errorBackground, Getdown.this);
} else if (_ifc.backgroundImage != null) {
return new RotatingBackgrounds(loadImage(_ifc.backgroundImage));
} else {
}
};
- public void setStartupFilesFromParameterString(String p) {
- String q = "\"";
- if (p != null && p.length() > 0) {
- String[] filenames;
- if (p.startsWith(q) && p.endsWith(q)) {
- filenames = p.substring(1,p.length()-1).split("\" \"");
- } else {
- filenames = new String[]{p};
- }
- for (int i = 0; i < filenames.length; i++) {
- String filename = filenames[i];
- String ext = null;
- int j = filename.lastIndexOf('.');
- if (j > -1) {
- ext = filename.substring(j+1);
- }
- // jvp files etc
- boolean addedStartupFile = false; // only add one startup file
- if (_app.startupFileExtensions.contains(ext.toLowerCase()) && ! addedStartupFile) {
- File f = new File(filename);
- if (f.exists()) {
- _app.addStartupFile(f);
- addedStartupFile = true;
- }
- }
- // jvl files
- if (_app.locatorFileExtension.equals(ext.toLowerCase())) {
- // Do something special with this here
- File f = new File(filename);
- if (f.exists()) {
- String appbase = null;
- try {
- java.util.Properties jvlprops = new java.util.Properties();
- FileInputStream in = new FileInputStream(f);
- jvlprops.load(in);
- in.close();
- appbase = jvlprops.getProperty("appbase");
- } catch(Exception e) {
- log.warning("Something went wrong reading Jalview Version Locator file '"+filename+"'", e);
- }
- if (appbase != null) {
- try {
- URL newAppbase = new URL(appbase);
- _app.newAppbase(newAppbase);
- log.warning("Java Version Locator url '"+appbase+"' found in file '"+filename+"' being used");
- } catch(MalformedURLException e) {
- log.warning("Java Version Locator url '"+appbase+"' found in file '"+filename+"' is malformed", e);
- }
- }
- }
- }
- }
- }
- }
-
protected Application _app;
protected Application.UpdateInterface _ifc = new Application.UpdateInterface(Config.EMPTY);