JAL-3626 reconciled Platform

[jalview.git] / src / jalview / gui / AppJmol.java

diff --git a/src/jalview/gui/AppJmol.java b/src/jalview/gui/AppJmol.java
index 7179a18..1698bf8 100644 (file)
--- a/src/jalview/gui/AppJmol.java
+++ b/src/jalview/gui/AppJmol.java
@@ -238,6 +238,8 @@ public class AppJmol extends StructureViewerBase
     // TODO: consider waiting until the structure/view is fully loaded before
     // displaying
     this.getContentPane().add(renderPanel, java.awt.BorderLayout.CENTER);
+    this.invalidate();
+    this.pack();
     jalview.gui.Desktop.addInternalFrame(this, jmb.getViewerTitle(),
             getBounds().width, getBounds().height);
     if (scriptWindow == null)
@@ -328,7 +330,7 @@ public class AppJmol extends StructureViewerBase
     for (String s : files)
     {
       fileList.append(SPACE).append(QUOTE)
-              .append(Platform.escapeString(s)).append(QUOTE);
+              .append(Platform.escapeBackslashes(s)).append(QUOTE);
     }
     String filesString = fileList.toString();
 
@@ -522,7 +524,7 @@ public class AppJmol extends StructureViewerBase
             addingStructures = true; // already files loaded.
             for (int c = 0; c < filesInViewer.length; c++)
             {
-              if (filesInViewer[c].equals(file))
+              if (Platform.pathEquals(filesInViewer[c], file))
               {
                 file = null;
                 break;
@@ -546,7 +548,7 @@ public class AppJmol extends StructureViewerBase
     }
     if (errormsgs.length() > 0)
     {
-      JvOptionPane.showInternalMessageDialog(Desktop.desktop,
+      JvOptionPane.showInternalMessageDialog(Desktop.getDesktopPane(),
               MessageManager.formatMessage(
                       "label.pdb_entries_couldnt_be_retrieved", new String[]
                       { errormsgs.toString() }),
@@ -563,6 +565,7 @@ public class AppJmol extends StructureViewerBase
    * 
    * @param type
    */
+  @Override
   public void makePDBImage(ImageMaker.TYPE type)
   {
     int width = getWidth();
@@ -626,15 +629,25 @@ public class AppJmol extends StructureViewerBase
     validate();
   }
 
+  @SuppressWarnings("serial")
   class RenderPanel extends JPanel
   {
     final Dimension currentSize = new Dimension();
 
+    public RenderPanel()
+    {
+      setPreferredSize(
+              Cache.getDefaultDim(Preferences.STRUCTURE_DIMENSIONS,
+                      Preferences.DEFAULT_STRUCTURE_DIMENSIONS));
+      // BH 2019.07.12 suggesting 600,600; current is something like 347 x 323
+    }
+
     @Override
     public void paintComponent(Graphics g)
     {
       getSize(currentSize);
-
+      // BH: Note that this size could be slightly different from the size set
+      // prior to packing.
       if (jmb != null && jmb.hasFileLoadingError())
       {
         g.setColor(Color.black);