// This line prevents Windows Look&Feel resizing all new windows to maximum
// if previous window was maximised
desktop.setDesktopManager(new MyDesktopManager(
// This line prevents Windows Look&Feel resizing all new windows to maximum
// if previous window was maximised
desktop.setDesktopManager(new MyDesktopManager(
@@ -631,6+635,10 @@ public class Desktop extends jalview.jbgui.GDesktop implements
} catch (java.beans.PropertyVetoException ve)
{
}
} catch (java.beans.PropertyVetoException ve)
{
}
+ catch (java.lang.ClassCastException cex)
+ {
+ Cache.log.warn("Squashed a possible GUI implementation error. If you can recreate this, please look at http://issues.jalview.org/browse/JAL-869",cex);
+ }
}
public void lostOwnership(Clipboard clipboard, Transferable contents)
}
public void lostOwnership(Clipboard clipboard, Transferable contents)
@@ -938,7+946,7 @@ public class Desktop extends jalview.jbgui.GDesktop implements
{
message.append("\n\n!! Jalview version "
+ jalview.bin.Cache.getProperty("LATEST_VERSION")
{
message.append("\n\n!! Jalview version "
+ jalview.bin.Cache.getProperty("LATEST_VERSION")
- + " is available for download from http://www.jalview.org !!\n");
+ + " is available for download from "+jalview.bin.Cache.getDefault("www.jalview.org","http://www.jalview.org")+" !!\n");
}
// TODO: update this text for each release or centrally store it for lite
}
// TODO: update this text for each release or centrally store it for lite
@@ -1174,11+1182,18 @@ public class Desktop extends jalview.jbgui.GDesktop implements