X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FDesktop.java;h=cd8330acbc2d69f9fe5a5223ab80df9f0258b8b7;hb=5eec5a0f366f2a00c7064e175ec86e1acb4afc6a;hp=7d542550df340ba7bf98f71a4a6ef390de1d5820;hpb=d9f0a24d9662a0b530fd79b51108dd074d03d6e0;p=jalview.git diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 7d54255..cd8330a 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -406,12 +406,11 @@ public class Desktop extends jalview.jbgui.GDesktop setBounds(xPos, yPos, 900, 650); } - // boolean doFullLoad = /** @j2sNative ! */true; if (!Platform.isJS()) /** * Java only * - * @j2sNative + * @j2sIgnore */ { @@ -890,7 +889,7 @@ public class Desktop extends jalview.jbgui.GDesktop frame.setResizable(resizable); frame.setMaximizable(resizable); frame.setIconifiable(resizable); - frame.setOpaque(Platform.isJS());/// ** @j2sNative true || */false); + frame.setOpaque(Platform.isJS()); if (frame.getX() < 1 && frame.getY() < 1) { @@ -1097,7 +1096,10 @@ public class Desktop extends jalview.jbgui.GDesktop { format = new IdentifyFile().identify(file, protocol); } - + if (file instanceof File) + { + Platform.cacheFileData((File) file); + } new FileLoader().LoadFile(null, file, protocol, format); } @@ -1193,7 +1195,7 @@ public class Desktop extends jalview.jbgui.GDesktop /** * Java only * - * @j2sNative + * @j2sIgnore */ { JComboBox asCombo = new JComboBox<>(); @@ -1456,7 +1458,7 @@ public class Desktop extends jalview.jbgui.GDesktop /** * Java only * - * @j2sNative + * @j2sIgnore */ { Help.showHelpWindow();