src/jalview/gui/Desktop.java

   1 /*
   2  * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
   3  * Copyright (C) $$Year-Rel$$ The Jalview Authors
   4  *
   5  * This file is part of Jalview.
   6  *
   7  * Jalview is free software: you can redistribute it and/or
   8  * modify it under the terms of the GNU General Public License
   9  * as published by the Free Software Foundation, either version 3
  10  * of the License, or (at your option) any later version.
  11  *
  12  * Jalview is distributed in the hope that it will be useful, but
  13  * WITHOUT ANY WARRANTY; without even the implied warranty
  14  * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
  15  * PURPOSE.  See the GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License
  18  * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
  19  * The Jalview Authors are detailed in the 'AUTHORS' file.
  20  */
  21 package jalview.gui;
  22
  23 import jalview.api.AlignViewportI;
  24 import jalview.api.AlignmentViewPanel;
  25 import jalview.bin.Cache;
  26 import jalview.bin.Jalview;
  27 import jalview.gui.ImageExporter.ImageWriterI;
  28 import jalview.io.BackupFiles;
  29 import jalview.io.DataSourceType;
  30 import jalview.io.FileFormat;
  31 import jalview.io.FileFormatException;
  32 import jalview.io.FileFormatI;
  33 import jalview.io.FileFormats;
  34 import jalview.io.FileLoader;
  35 import jalview.io.FormatAdapter;
  36 import jalview.io.IdentifyFile;
  37 import jalview.io.JalviewFileChooser;
  38 import jalview.io.JalviewFileView;
  39 import jalview.jbgui.GSplitFrame;
  40 import jalview.jbgui.GStructureViewer;
  41 import jalview.project.Jalview2XML;
  42 import jalview.structure.StructureSelectionManager;
  43 import jalview.urls.IdOrgSettings;
  44 import jalview.util.BrowserLauncher;
  45 import jalview.util.ImageMaker.TYPE;
  46 import jalview.util.MessageManager;
  47 import jalview.util.Platform;
  48 import jalview.util.UrlConstants;
  49 import jalview.viewmodel.AlignmentViewport;
  50 import jalview.ws.params.ParamManager;
  51 import jalview.ws.utils.UrlDownloadClient;
  52
  53 import java.awt.BorderLayout;
  54 import java.awt.Color;
  55 import java.awt.Dimension;
  56 import java.awt.FontMetrics;
  57 import java.awt.Graphics;
  58 import java.awt.GridLayout;
  59 import java.awt.Point;
  60 import java.awt.Rectangle;
  61 import java.awt.Toolkit;
  62 import java.awt.Window;
  63 import java.awt.datatransfer.Clipboard;
  64 import java.awt.datatransfer.ClipboardOwner;
  65 import java.awt.datatransfer.DataFlavor;
  66 import java.awt.datatransfer.Transferable;
  67 import java.awt.dnd.DnDConstants;
  68 import java.awt.dnd.DropTargetDragEvent;
  69 import java.awt.dnd.DropTargetDropEvent;
  70 import java.awt.dnd.DropTargetEvent;
  71 import java.awt.dnd.DropTargetListener;
  72 import java.awt.event.ActionEvent;
  73 import java.awt.event.ActionListener;
  74 import java.awt.event.InputEvent;
  75 import java.awt.event.KeyEvent;
  76 import java.awt.event.MouseAdapter;
  77 import java.awt.event.MouseEvent;
  78 import java.awt.event.WindowAdapter;
  79 import java.awt.event.WindowEvent;
  80 import java.beans.PropertyChangeEvent;
  81 import java.beans.PropertyChangeListener;
  82 import java.io.BufferedInputStream;
  83 import java.io.File;
  84 import java.io.FileOutputStream;
  85 import java.io.IOException;
  86 import java.net.URL;
  87 import java.util.ArrayList;
  88 import java.util.Hashtable;
  89 import java.util.List;
  90 import java.util.ListIterator;
  91 import java.util.Vector;
  92 import java.util.concurrent.ExecutorService;
  93 import java.util.concurrent.Executors;
  94 import java.util.concurrent.Semaphore;
  95
  96 import javax.swing.AbstractAction;
  97 import javax.swing.Action;
  98 import javax.swing.ActionMap;
  99 import javax.swing.Box;
 100 import javax.swing.BoxLayout;
 101 import javax.swing.DefaultDesktopManager;
 102 import javax.swing.DesktopManager;
 103 import javax.swing.InputMap;
 104 import javax.swing.JButton;
 105 import javax.swing.JCheckBox;
 106 import javax.swing.JComboBox;
 107 import javax.swing.JComponent;
 108 import javax.swing.JDesktopPane;
 109 import javax.swing.JFrame;
 110 import javax.swing.JInternalFrame;
 111 import javax.swing.JLabel;
 112 import javax.swing.JMenuItem;
 113 import javax.swing.JPanel;
 114 import javax.swing.JPopupMenu;
 115 import javax.swing.JProgressBar;
 116 import javax.swing.JTextField;
 117 import javax.swing.KeyStroke;
 118 import javax.swing.SwingUtilities;
 119 import javax.swing.event.HyperlinkEvent;
 120 import javax.swing.event.HyperlinkEvent.EventType;
 121 import javax.swing.event.InternalFrameAdapter;
 122 import javax.swing.event.InternalFrameEvent;
 123 import javax.swing.event.MenuEvent;
 124 import javax.swing.event.MenuListener;
 125
 126 import org.stackoverflowusers.file.WindowsShortcut;
 127
 128 /**
 129  * Jalview Desktop
 130  *
 131  *
 132  * @author $author$
 133  * @version $Revision: 1.155 $
 134  */
 135 @SuppressWarnings("serial")
 136 public class Desktop extends jalview.jbgui.GDesktop
 137         implements DropTargetListener, ClipboardOwner, IProgressIndicator,
 138         jalview.api.StructureSelectionManagerProvider
 139 {
 140   private final static int DEFAULT_MIN_WIDTH = 300;
 141
 142   private final static int DEFAULT_MIN_HEIGHT = 250;
 143
 144   private final static int ALIGN_FRAME_DEFAULT_MIN_WIDTH = 600;
 145
 146   private final static int ALIGN_FRAME_DEFAULT_MIN_HEIGHT = 70;
 147
 148   private final static String EXPERIMENTAL_FEATURES = "EXPERIMENTAL_FEATURES";
 149
 150   private JalviewChangeSupport changeSupport = new JalviewChangeSupport();
 151
 152   /**
 153    * news reader - null if it was never started.
 154    */
 155   BlogReader jvnews = null;
 156
 157   private File projectFile;
 158
 159   /**
 160    * @param listener
 161    * @see jalview.gui.JalviewChangeSupport#addJalviewPropertyChangeListener(java.beans.PropertyChangeListener)
 162    */
 163   public void addJalviewPropertyChangeListener(
 164           PropertyChangeListener listener)
 165   {
 166     changeSupport.addJalviewPropertyChangeListener(listener);
 167   }
 168
 169   /**
 170    * @param propertyName
 171    * @param listener
 172    * @see jalview.gui.JalviewChangeSupport#addJalviewPropertyChangeListener(java.lang.String,
 173    *      java.beans.PropertyChangeListener)
 174    */
 175   public void addJalviewPropertyChangeListener(String propertyName,
 176           PropertyChangeListener listener)
 177   {
 178     changeSupport.addJalviewPropertyChangeListener(propertyName, listener);
 179   }
 180
 181   /**
 182    * @param propertyName
 183    * @param listener
 184    * @see jalview.gui.JalviewChangeSupport#removeJalviewPropertyChangeListener(java.lang.String,
 185    *      java.beans.PropertyChangeListener)
 186    */
 187   public void removeJalviewPropertyChangeListener(String propertyName,
 188           PropertyChangeListener listener)
 189   {
 190     changeSupport.removeJalviewPropertyChangeListener(propertyName,
 191             listener);
 192   }
 193
 194   /**
 195    * Singleton Desktop instance only in Java;
 196    */
 197   private static Desktop instance;
 198
 199   public static Desktop getInstance()
 200   {
 201     if (instance == null)
 202     {
 203       new Desktop(true);
 204     }
 205     Desktop d;
 206     @SuppressWarnings("unused")
 207     ThreadGroup g = Thread.currentThread().getThreadGroup();
 208     /**
 209      * @j2sNative d = g._jalviewDesktopInstance;
 210      */
 211     {
 212       d = instance;
 213     }
 214     return d;
 215   }
 216
 217   private static void setInstance(Desktop d)
 218   {
 219     @SuppressWarnings("unused")
 220     ThreadGroup g = Thread.currentThread().getThreadGroup();
 221     /**
 222      * @j2sNative g._jalviewDesktopInstance = d;
 223      */
 224     {
 225       instance = d;
 226     }
 227   }
 228
 229   private MyDesktopPane desktopPane;
 230
 231   public static MyDesktopPane getDesktopPane()
 232   {
 233     return getInstance().desktopPane;
 234   }
 235
 236   private void setDesktopPane(MyDesktopPane pane)
 237   {
 238     getInstance().desktopPane = pane;
 239   }
 240
 241   static int openFrameCount = 0;
 242
 243   static final int xOffset = 30;
 244
 245   static final int yOffset = 30;
 246
 247   public jalview.ws.jws1.Discoverer discoverer;
 248
 249   public Object[] jalviewClipboard;
 250
 251   public boolean internalCopy = false;
 252
 253   private static int fileLoadingCount = 0;
 254
 255   public JInternalFrame conservationSlider, PIDSlider;
 256
 257   private boolean instanceOnly;
 258
 259   class MyDesktopManager implements DesktopManager
 260   {
 261
 262     private DesktopManager delegate;
 263
 264     public MyDesktopManager(DesktopManager delegate)
 265     {
 266       this.delegate = delegate;
 267     }
 268
 269     @Override
 270     public void activateFrame(JInternalFrame f)
 271     {
 272       try
 273       {
 274         delegate.activateFrame(f);
 275       } catch (NullPointerException npe)
 276       {
 277         Point p = getMousePosition();
 278         getInstance().showPasteMenu(p.x, p.y);
 279       }
 280     }
 281
 282     @Override
 283     public void beginDraggingFrame(JComponent f)
 284     {
 285       delegate.beginDraggingFrame(f);
 286     }
 287
 288     @Override
 289     public void beginResizingFrame(JComponent f, int direction)
 290     {
 291       delegate.beginResizingFrame(f, direction);
 292     }
 293
 294     @Override
 295     public void closeFrame(JInternalFrame f)
 296     {
 297       delegate.closeFrame(f);
 298     }
 299
 300     @Override
 301     public void deactivateFrame(JInternalFrame f)
 302     {
 303       delegate.deactivateFrame(f);
 304     }
 305
 306     @Override
 307     public void deiconifyFrame(JInternalFrame f)
 308     {
 309       delegate.deiconifyFrame(f);
 310     }
 311
 312     @Override
 313     public void dragFrame(JComponent f, int newX, int newY)
 314     {
 315       if (newY < 0)
 316       {
 317         newY = 0;
 318       }
 319       delegate.dragFrame(f, newX, newY);
 320     }
 321
 322     @Override
 323     public void endDraggingFrame(JComponent f)
 324     {
 325       delegate.endDraggingFrame(f);
 326       getDesktopPane().repaint();
 327     }
 328
 329     @Override
 330     public void endResizingFrame(JComponent f)
 331     {
 332       delegate.endResizingFrame(f);
 333       getDesktopPane().repaint();
 334     }
 335
 336     @Override
 337     public void iconifyFrame(JInternalFrame f)
 338     {
 339       delegate.iconifyFrame(f);
 340     }
 341
 342     @Override
 343     public void maximizeFrame(JInternalFrame f)
 344     {
 345       delegate.maximizeFrame(f);
 346     }
 347
 348     @Override
 349     public void minimizeFrame(JInternalFrame f)
 350     {
 351       delegate.minimizeFrame(f);
 352     }
 353
 354     @Override
 355     public void openFrame(JInternalFrame f)
 356     {
 357       delegate.openFrame(f);
 358     }
 359
 360     @Override
 361     public void resizeFrame(JComponent f, int newX, int newY, int newWidth,
 362             int newHeight)
 363     {
 364       if (newY < 0)
 365       {
 366         newY = 0;
 367       }
 368       delegate.resizeFrame(f, newX, newY, newWidth, newHeight);
 369     }
 370
 371     @Override
 372     public void setBoundsForFrame(JComponent f, int newX, int newY,
 373             int newWidth, int newHeight)
 374     {
 375       delegate.setBoundsForFrame(f, newX, newY, newWidth, newHeight);
 376     }
 377
 378     // All other methods, simply delegate
 379
 380   }
 381
 382   public Desktop(boolean forInstance)
 383   {
 384     instanceOnly = true;
 385     setInstance(this);
 386   }
 387   /**
 388    * Creates a new Desktop object.
 389    */
 390   public Desktop()
 391   {
 392     /**
 393      * A note to implementors. It is ESSENTIAL that any activities that might
 394      * block are spawned off as threads rather than waited for during this
 395      * constructor.
 396      */
 397     setInstance(this);
 398     if (!Platform.isJS())
 399     {
 400       doVamsasClientCheck();
 401     }
 402
 403     doConfigureStructurePrefs();
 404     setTitle("Jalview " + jalview.bin.Cache.getProperty("VERSION"));
 405     setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
 406     boolean selmemusage = jalview.bin.Cache.getDefault("SHOW_MEMUSAGE",
 407             false);
 408     boolean showjconsole = jalview.bin.Cache.getDefault("SHOW_JAVA_CONSOLE",
 409             false);
 410     setDesktopPane(new MyDesktopPane(selmemusage));
 411
 412     showMemusage.setSelected(selmemusage);
 413     getDesktopPane().setBackground(Color.white);
 414     getContentPane().setLayout(new BorderLayout());
 415     // alternate config - have scrollbars - see notes in JAL-153
 416     // JScrollPane sp = new JScrollPane();
 417     // sp.getViewport().setView(desktop);
 418     // getContentPane().add(sp, BorderLayout.CENTER);
 419
 420     // BH 2018 - just an experiment to try unclipped JInternalFrames.
 421     if (Platform.isJS())
 422     {
 423       getRootPane().putClientProperty("swingjs.overflow.hidden", "false");
 424     }
 425
 426     getContentPane().add(getDesktopPane(), BorderLayout.CENTER);
 427     getDesktopPane().setDragMode(JDesktopPane.OUTLINE_DRAG_MODE);
 428
 429     // This line prevents Windows Look&Feel resizing all new windows to maximum
 430     // if previous window was maximised
 431     getDesktopPane().setDesktopManager(new MyDesktopManager(
 432             (Platform.isWindowsAndNotJS() ? new DefaultDesktopManager()
 433                     : Platform.isAMacAndNotJS()
 434                             ? new AquaInternalFrameManager(
 435                                     getDesktopPane().getDesktopManager())
 436                             : getDesktopPane().getDesktopManager())));
 437
 438     Rectangle dims = getLastKnownDimensions("");
 439     if (dims != null)
 440     {
 441       setBounds(dims);
 442     }
 443     else
 444     {
 445       Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
 446       int xPos = Math.max(5, (screenSize.width - 900) / 2);
 447       int yPos = Math.max(5, (screenSize.height - 650) / 2);
 448       setBounds(xPos, yPos, 900, 650);
 449     }
 450
 451     if (!Platform.isJS())
 452     /**
 453      * Java only
 454      *
 455      * @j2sIgnore
 456      */
 457     {
 458
 459       jconsole = new Console(this, showjconsole);
 460       // add essential build information
 461       jconsole.setHeader("Jalview Version: "
 462               + jalview.bin.Cache.getProperty("VERSION") + "\n"
 463               + "Jalview Installation: "
 464               + jalview.bin.Cache.getDefault("INSTALLATION", "unknown")
 465               + "\n" + "Build Date: "
 466               + jalview.bin.Cache.getDefault("BUILD_DATE", "unknown") + "\n"
 467               + "Java version: " + System.getProperty("java.version") + "\n"
 468               + System.getProperty("os.arch") + " "
 469               + System.getProperty("os.name") + " "
 470               + System.getProperty("os.version"));
 471
 472       showConsole(showjconsole);
 473
 474       showNews.setVisible(false);
 475
 476       experimentalFeatures.setSelected(showExperimental());
 477
 478       getIdentifiersOrgData();
 479
 480       checkURLLinks();
 481
 482       // Spawn a thread that shows the splashscreen
 483
 484       SwingUtilities.invokeLater(new Runnable()
 485       {
 486         @Override
 487         public void run()
 488         {
 489           new SplashScreen();
 490         }
 491       });
 492
 493       // Thread off a new instance of the file chooser - this reduces the time
 494       // it
 495       // takes to open it later on.
 496       new Thread(new Runnable()
 497       {
 498         @Override
 499         public void run()
 500         {
 501           Cache.log.debug("Filechooser init thread started.");
 502           String fileFormat = Cache.getProperty("DEFAULT_FILE_FORMAT");
 503           JalviewFileChooser.forRead(Cache.getProperty("LAST_DIRECTORY"),
 504                   fileFormat);
 505           Cache.log.debug("Filechooser init thread finished.");
 506         }
 507       }).start();
 508       // Add the service change listener
 509       changeSupport.addJalviewPropertyChangeListener("services",
 510               new PropertyChangeListener()
 511               {
 512
 513                 @Override
 514                 public void propertyChange(PropertyChangeEvent evt)
 515                 {
 516                   Cache.log.debug("Firing service changed event for "
 517                           + evt.getNewValue());
 518                   JalviewServicesChanged(evt);
 519                 }
 520
 521               });
 522
 523     }
 524
 525     this.setDropTarget(new java.awt.dnd.DropTarget(getDesktopPane(), this));
 526
 527     this.addWindowListener(new WindowAdapter()
 528     {
 529       @Override
 530       public void windowClosing(WindowEvent evt)
 531       {
 532         quit();
 533       }
 534     });
 535
 536     MouseAdapter ma;
 537     this.addMouseListener(ma = new MouseAdapter()
 538     {
 539       @Override
 540       public void mousePressed(MouseEvent evt)
 541       {
 542         if (evt.isPopupTrigger()) // Mac
 543         {
 544           showPasteMenu(evt.getX(), evt.getY());
 545         }
 546       }
 547
 548       @Override
 549       public void mouseReleased(MouseEvent evt)
 550       {
 551         if (evt.isPopupTrigger()) // Windows
 552         {
 553           showPasteMenu(evt.getX(), evt.getY());
 554         }
 555       }
 556     });
 557     getDesktopPane().addMouseListener(ma);
 558
 559   }
 560
 561   /**
 562    * Answers true if user preferences to enable experimental features is True
 563    * (on), else false
 564    *
 565    * @return
 566    */
 567   public boolean showExperimental()
 568   {
 569     String experimental = Cache.getDefault(EXPERIMENTAL_FEATURES,
 570             Boolean.FALSE.toString());
 571     return Boolean.valueOf(experimental).booleanValue();
 572   }
 573
 574   public void doConfigureStructurePrefs()
 575   {
 576     // configure services
 577     StructureSelectionManager ssm = StructureSelectionManager
 578             .getStructureSelectionManager(this);
 579     if (jalview.bin.Cache.getDefault(Preferences.ADD_SS_ANN, true))
 580     {
 581       ssm.setAddTempFacAnnot(jalview.bin.Cache
 582               .getDefault(Preferences.ADD_TEMPFACT_ANN, true));
 583       ssm.setProcessSecondaryStructure(jalview.bin.Cache
 584               .getDefault(Preferences.STRUCT_FROM_PDB, true));
 585       ssm.setSecStructServices(
 586               jalview.bin.Cache.getDefault(Preferences.USE_RNAVIEW, true));
 587     }
 588     else
 589     {
 590       ssm.setAddTempFacAnnot(false);
 591       ssm.setProcessSecondaryStructure(false);
 592       ssm.setSecStructServices(false);
 593     }
 594   }
 595
 596   public void checkForNews()
 597   {
 598     final Desktop me = this;
 599     // Thread off the news reader, in case there are connection problems.
 600     new Thread(new Runnable()
 601     {
 602       @Override
 603       public void run()
 604       {
 605         Cache.log.debug("Starting news thread.");
 606         jvnews = new BlogReader(me);
 607         showNews.setVisible(true);
 608         Cache.log.debug("Completed news thread.");
 609       }
 610     }).start();
 611   }
 612
 613   public void getIdentifiersOrgData()
 614   {
 615     // Thread off the identifiers fetcher
 616     new Thread(new Runnable()
 617     {
 618       @Override
 619       public void run()
 620       {
 621         Cache.log.debug("Downloading data from identifiers.org");
 622         // UrlDownloadClient client = new UrlDownloadClient();
 623         try
 624         {
 625           UrlDownloadClient.download(IdOrgSettings.getUrl(),
 626                   IdOrgSettings.getDownloadLocation());
 627         } catch (IOException e)
 628         {
 629           Cache.log.debug("Exception downloading identifiers.org data"
 630                   + e.getMessage());
 631         }
 632       }
 633     }).start();
 634     ;
 635   }
 636
 637   @Override
 638   protected void showNews_actionPerformed(ActionEvent e)
 639   {
 640     showNews(showNews.isSelected());
 641   }
 642
 643   protected void showNews(boolean visible)
 644   {
 645     Cache.log.debug((visible ? "Showing" : "Hiding") + " news.");
 646     showNews.setSelected(visible);
 647     if (visible && !jvnews.isVisible())
 648     {
 649       new Thread(new Runnable()
 650       {
 651         @Override
 652         public void run()
 653         {
 654           long now = System.currentTimeMillis();
 655           Desktop.getInstance().setProgressBar(
 656                   MessageManager.getString("status.refreshing_news"), now);
 657           jvnews.refreshNews();
 658           Desktop.getInstance().setProgressBar(null, now);
 659           jvnews.showNews();
 660         }
 661       }).start();
 662     }
 663   }
 664
 665   /**
 666    * recover the last known dimensions for a jalview window
 667    *
 668    * @param windowName
 669    *          - empty string is desktop, all other windows have unique prefix
 670    * @return null or last known dimensions scaled to current geometry (if last
 671    *         window geom was known)
 672    */
 673   Rectangle getLastKnownDimensions(String windowName)
 674   {
 675     // TODO: lock aspect ratio for scaling desktop Bug #0058199
 676     Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
 677     String x = jalview.bin.Cache.getProperty(windowName + "SCREEN_X");
 678     String y = jalview.bin.Cache.getProperty(windowName + "SCREEN_Y");
 679     String width = jalview.bin.Cache
 680             .getProperty(windowName + "SCREEN_WIDTH");
 681     String height = jalview.bin.Cache
 682             .getProperty(windowName + "SCREEN_HEIGHT");
 683     if ((x != null) && (y != null) && (width != null) && (height != null))
 684     {
 685       int ix = Integer.parseInt(x), iy = Integer.parseInt(y),
 686               iw = Integer.parseInt(width), ih = Integer.parseInt(height);
 687       if (jalview.bin.Cache.getProperty("SCREENGEOMETRY_WIDTH") != null)
 688       {
 689         // attempt #1 - try to cope with change in screen geometry - this
 690         // version doesn't preserve original jv aspect ratio.
 691         // take ratio of current screen size vs original screen size.
 692         double sw = ((1f * screenSize.width) / (1f * Integer.parseInt(
 693                 jalview.bin.Cache.getProperty("SCREENGEOMETRY_WIDTH"))));
 694         double sh = ((1f * screenSize.height) / (1f * Integer.parseInt(
 695                 jalview.bin.Cache.getProperty("SCREENGEOMETRY_HEIGHT"))));
 696         // rescale the bounds depending upon the current screen geometry.
 697         ix = (int) (ix * sw);
 698         iw = (int) (iw * sw);
 699         iy = (int) (iy * sh);
 700         ih = (int) (ih * sh);
 701         while (ix >= screenSize.width)
 702         {
 703           jalview.bin.Cache.log.debug(
 704                   "Window geometry location recall error: shifting horizontal to within screenbounds.");
 705           ix -= screenSize.width;
 706         }
 707         while (iy >= screenSize.height)
 708         {
 709           jalview.bin.Cache.log.debug(
 710                   "Window geometry location recall error: shifting vertical to within screenbounds.");
 711           iy -= screenSize.height;
 712         }
 713         jalview.bin.Cache.log.debug(
 714                 "Got last known dimensions for " + windowName + ": x:" + ix
 715                         + " y:" + iy + " width:" + iw + " height:" + ih);
 716       }
 717       // return dimensions for new instance
 718       return new Rectangle(ix, iy, iw, ih);
 719     }
 720     return null;
 721   }
 722
 723   private void doVamsasClientCheck()
 724   {
 725     if (Cache.vamsasJarsPresent())
 726     {
 727       setupVamsasDisconnectedGui();
 728       VamsasMenu.setVisible(true);
 729       final Desktop us = this;
 730       VamsasMenu.addMenuListener(new MenuListener()
 731       {
 732         // this listener remembers when the menu was first selected, and
 733         // doesn't rebuild the session list until it has been cleared and
 734         // reselected again.
 735         boolean refresh = true;
 736
 737         @Override
 738         public void menuCanceled(MenuEvent e)
 739         {
 740           refresh = true;
 741         }
 742
 743         @Override
 744         public void menuDeselected(MenuEvent e)
 745         {
 746           refresh = true;
 747         }
 748
 749         @Override
 750         public void menuSelected(MenuEvent e)
 751         {
 752           if (refresh)
 753           {
 754             us.buildVamsasStMenu();
 755             refresh = false;
 756           }
 757         }
 758       });
 759       vamsasStart.setVisible(true);
 760     }
 761   }
 762
 763   protected void showPasteMenu(int x, int y)
 764   {
 765     JPopupMenu popup = new JPopupMenu();
 766     JMenuItem item = new JMenuItem(
 767             MessageManager.getString("label.paste_new_window"));
 768     item.addActionListener(new ActionListener()
 769     {
 770       @Override
 771       public void actionPerformed(ActionEvent evt)
 772       {
 773         paste();
 774       }
 775     });
 776
 777     popup.add(item);
 778     popup.show(this, x, y);
 779   }
 780
 781   public void paste()
 782   {
 783     try
 784     {
 785       Clipboard c = Toolkit.getDefaultToolkit().getSystemClipboard();
 786       Transferable contents = c.getContents(this);
 787
 788       if (contents != null)
 789       {
 790         String file = (String) contents
 791                 .getTransferData(DataFlavor.stringFlavor);
 792
 793         FileFormatI format = new IdentifyFile().identify(file,
 794                 DataSourceType.PASTE);
 795
 796         new FileLoader().LoadFile(file, DataSourceType.PASTE, format);
 797
 798       }
 799     } catch (Exception ex)
 800     {
 801       System.out.println(
 802               "Unable to paste alignment from system clipboard:\n" + ex);
 803     }
 804   }
 805
 806   /**
 807    * Adds and opens the given frame to the desktop
 808    *
 809    * @param frame
 810    *          Frame to show
 811    * @param title
 812    *          Visible Title
 813    * @param w
 814    *          width
 815    * @param h
 816    *          height
 817    */
 818   public static synchronized void addInternalFrame(
 819           final JInternalFrame frame, String title, int w, int h)
 820   {
 821     addInternalFrame(frame, title, true, w, h, true, false);
 822   }
 823
 824   /**
 825    * Add an internal frame to the Jalview desktop
 826    *
 827    * @param frame
 828    *          Frame to show
 829    * @param title
 830    *          Visible Title
 831    * @param makeVisible
 832    *          When true, display frame immediately, otherwise, caller must call
 833    *          setVisible themselves.
 834    * @param w
 835    *          width
 836    * @param h
 837    *          height
 838    */
 839   public static synchronized void addInternalFrame(
 840           final JInternalFrame frame, String title, boolean makeVisible,
 841           int w, int h)
 842   {
 843     addInternalFrame(frame, title, makeVisible, w, h, true, false);
 844   }
 845
 846   /**
 847    * Add an internal frame to the Jalview desktop and make it visible
 848    *
 849    * @param frame
 850    *          Frame to show
 851    * @param title
 852    *          Visible Title
 853    * @param w
 854    *          width
 855    * @param h
 856    *          height
 857    * @param resizable
 858    *          Allow resize
 859    */
 860   public static synchronized void addInternalFrame(
 861           final JInternalFrame frame, String title, int w, int h,
 862           boolean resizable)
 863   {
 864     addInternalFrame(frame, title, true, w, h, resizable, false);
 865   }
 866
 867   /**
 868    * Add an internal frame to the Jalview desktop
 869    *
 870    * @param frame
 871    *          Frame to show
 872    * @param title
 873    *          Visible Title
 874    * @param makeVisible
 875    *          When true, display frame immediately, otherwise, caller must call
 876    *          setVisible themselves.
 877    * @param w
 878    *          width
 879    * @param h
 880    *          height
 881    * @param resizable
 882    *          Allow resize
 883    * @param ignoreMinSize
 884    *          Do not set the default minimum size for frame
 885    */
 886   public static synchronized void addInternalFrame(
 887           final JInternalFrame frame, String title, boolean makeVisible,
 888           int w, int h, boolean resizable, boolean ignoreMinSize)
 889   {
 890
 891     // TODO: allow callers to determine X and Y position of frame (eg. via
 892     // bounds object).
 893     // TODO: consider fixing method to update entries in the window submenu with
 894     // the current window title
 895
 896     frame.setTitle(title);
 897     if (frame.getWidth() < 1 || frame.getHeight() < 1)
 898     {
 899       frame.setSize(w, h);
 900     }
 901     // THIS IS A PUBLIC STATIC METHOD, SO IT MAY BE CALLED EVEN IN
 902     // A HEADLESS STATE WHEN NO DESKTOP EXISTS. MUST RETURN
 903     // IF JALVIEW IS RUNNING HEADLESS
 904     // ///////////////////////////////////////////////
 905     if (getInstance().instanceOnly || Jalview.isHeadlessMode())
 906     {
 907       return;
 908     }
 909
 910     openFrameCount++;
 911
 912     if (!ignoreMinSize)
 913     {
 914       frame.setMinimumSize(
 915               new Dimension(DEFAULT_MIN_WIDTH, DEFAULT_MIN_HEIGHT));
 916
 917       // Set default dimension for Alignment Frame window.
 918       // The Alignment Frame window could be added from a number of places,
 919       // hence,
 920       // I did this here in order not to miss out on any Alignment frame.
 921       if (frame instanceof AlignFrame)
 922       {
 923         frame.setMinimumSize(new Dimension(ALIGN_FRAME_DEFAULT_MIN_WIDTH,
 924                 ALIGN_FRAME_DEFAULT_MIN_HEIGHT));
 925       }
 926     }
 927
 928     frame.setVisible(makeVisible);
 929     frame.setClosable(true);
 930     frame.setResizable(resizable);
 931     frame.setMaximizable(resizable);
 932     frame.setIconifiable(resizable);
 933     frame.setOpaque(Platform.isJS());
 934
 935     if (frame.getX() < 1 && frame.getY() < 1)
 936     {
 937       frame.setLocation(xOffset * openFrameCount,
 938               yOffset * ((openFrameCount - 1) % 10) + yOffset);
 939     }
 940
 941     /*
 942      * add an entry for the new frame in the Window menu
 943      * (and remove it when the frame is closed)
 944      */
 945     JMenuItem menuItem = new JMenuItem(title);
 946     frame.addInternalFrameListener(new InternalFrameAdapter()
 947     {
 948       @Override
 949       public void internalFrameActivated(InternalFrameEvent evt)
 950       {
 951         JInternalFrame itf = getDesktopPane().getSelectedFrame();
 952         if (itf != null)
 953         {
 954           if (itf instanceof AlignFrame)
 955           {
 956             Jalview.setCurrentAlignFrame((AlignFrame) itf);
 957           }
 958           itf.requestFocus();
 959         }
 960       }
 961
 962       @Override
 963       public void internalFrameClosed(InternalFrameEvent evt)
 964       {
 965         PaintRefresher.RemoveComponent(frame);
 966
 967         /*
 968          * defensive check to prevent frames being
 969          * added half off the window
 970          */
 971         if (openFrameCount > 0)
 972         {
 973           openFrameCount--;
 974         }
 975
 976         /*
 977          * ensure no reference to alignFrame retained by menu item listener
 978          */
 979         if (menuItem.getActionListeners().length > 0)
 980         {
 981           menuItem.removeActionListener(menuItem.getActionListeners()[0]);
 982         }
 983         getInstance().windowMenu.remove(menuItem);
 984       };
 985     });
 986
 987     menuItem.addActionListener(new ActionListener()
 988     {
 989       @Override
 990       public void actionPerformed(ActionEvent e)
 991       {
 992         try
 993         {
 994           frame.setSelected(true);
 995           frame.setIcon(false);
 996         } catch (java.beans.PropertyVetoException ex)
 997         {
 998           // System.err.println(ex.toString());
 999         }
1000       }
1001     });
1002
1003     setKeyBindings(frame);
1004
1005     getDesktopPane().add(frame);
1006
1007     getInstance().windowMenu.add(menuItem);
1008
1009     frame.toFront();
1010     try
1011     {
1012       frame.setSelected(true);
1013       frame.requestFocus();
1014     } catch (java.beans.PropertyVetoException ve)
1015     {
1016     } catch (java.lang.ClassCastException cex)
1017     {
1018       Cache.log.warn(
1019               "Squashed a possible GUI implementation error. If you can recreate this, please look at http://issues.jalview.org/browse/JAL-869",
1020               cex);
1021     }
1022   }
1023
1024   /**
1025    * Add key bindings to a JInternalFrame so that Ctrl-W and Cmd-W will close the
1026    * window
1027    *
1028    * @param frame
1029    */
1030   private static void setKeyBindings(JInternalFrame frame)
1031   {
1032     final Action closeAction = new AbstractAction()
1033     {
1034       @Override
1035       public void actionPerformed(ActionEvent e)
1036       {
1037         frame.dispose();
1038       }
1039     };
1040
1041     /*
1042      * set up key bindings for Ctrl-W and Cmd-W, with the same (Close) action
1043      */
1044     KeyStroke ctrlWKey = KeyStroke.getKeyStroke(KeyEvent.VK_W,
1045             InputEvent.CTRL_DOWN_MASK);
1046     KeyStroke cmdWKey = KeyStroke.getKeyStroke(KeyEvent.VK_W,
1047             Toolkit.getDefaultToolkit().getMenuShortcutKeyMask());
1048
1049     InputMap inputMap = frame
1050             .getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW);
1051     String ctrlW = ctrlWKey.toString();
1052     inputMap.put(ctrlWKey, ctrlW);
1053     inputMap.put(cmdWKey, ctrlW);
1054
1055     ActionMap actionMap = frame.getActionMap();
1056     actionMap.put(ctrlW, closeAction);
1057   }
1058
1059   @Override
1060   public void lostOwnership(Clipboard clipboard, Transferable contents)
1061   {
1062     if (!internalCopy)
1063     {
1064       Desktop.getInstance().jalviewClipboard = null;
1065     }
1066
1067     internalCopy = false;
1068   }
1069
1070   @Override
1071   public void dragEnter(DropTargetDragEvent evt)
1072   {
1073   }
1074
1075   @Override
1076   public void dragExit(DropTargetEvent evt)
1077   {
1078   }
1079
1080   @Override
1081   public void dragOver(DropTargetDragEvent evt)
1082   {
1083   }
1084
1085   @Override
1086   public void dropActionChanged(DropTargetDragEvent evt)
1087   {
1088   }
1089
1090   /**
1091    * DOCUMENT ME!
1092    *
1093    * @param evt
1094    *          DOCUMENT ME!
1095    */
1096   @Override
1097   public void drop(DropTargetDropEvent evt)
1098   {
1099     boolean success = true;
1100     // JAL-1552 - acceptDrop required before getTransferable call for
1101     // Java's Transferable for native dnd
1102     evt.acceptDrop(DnDConstants.ACTION_COPY_OR_MOVE);
1103     Transferable t = evt.getTransferable();
1104     List<Object> files = new ArrayList<>();
1105     List<DataSourceType> protocols = new ArrayList<>();
1106
1107     try
1108     {
1109       Desktop.transferFromDropTarget(files, protocols, evt, t);
1110     } catch (Exception e)
1111     {
1112       e.printStackTrace();
1113       success = false;
1114     }
1115
1116     if (files != null)
1117     {
1118       try
1119       {
1120         for (int i = 0; i < files.size(); i++)
1121         {
1122           // BH 2018 File or String
1123           Object file = files.get(i);
1124           String fileName = file.toString();
1125           DataSourceType protocol = (protocols == null)
1126                   ? DataSourceType.FILE
1127                   : protocols.get(i);
1128           FileFormatI format = null;
1129
1130           if (fileName.endsWith(".jar"))
1131           {
1132             format = FileFormat.Jalview;
1133
1134           }
1135           else
1136           {
1137             format = new IdentifyFile().identify(file, protocol);
1138           }
1139           if (file instanceof File)
1140           {
1141             Platform.cacheFileData((File) file);
1142           }
1143           new FileLoader().LoadFile(null, file, protocol, format);
1144
1145         }
1146       } catch (Exception ex)
1147       {
1148         success = false;
1149       }
1150     }
1151     evt.dropComplete(success); // need this to ensure input focus is properly
1152                                // transfered to any new windows created
1153   }
1154
1155   /**
1156    * DOCUMENT ME!
1157    *
1158    * @param e
1159    *          DOCUMENT ME!
1160    */
1161   @Override
1162   public void inputLocalFileMenuItem_actionPerformed(AlignViewport viewport)
1163   {
1164     String fileFormat = Cache.getProperty("DEFAULT_FILE_FORMAT");
1165     JalviewFileChooser chooser = JalviewFileChooser
1166             .forRead(Cache.getProperty("LAST_DIRECTORY"), fileFormat, true);
1167
1168     chooser.setFileView(new JalviewFileView());
1169     chooser.setDialogTitle(
1170             MessageManager.getString("label.open_local_file"));
1171     chooser.setToolTipText(MessageManager.getString("action.open"));
1172
1173     chooser.setResponseHandler(0, new Runnable()
1174     {
1175       @Override
1176       public void run()
1177       {
1178         File selectedFile = chooser.getSelectedFile();
1179         Cache.setProperty("LAST_DIRECTORY", selectedFile.getParent());
1180
1181         FileFormatI format = chooser.getSelectedFormat();
1182
1183         /*
1184          * Call IdentifyFile to verify the file contains what its extension implies.
1185          * Skip this step for dynamically added file formats, because
1186          * IdentifyFile does not know how to recognise them.
1187          */
1188         if (FileFormats.getInstance().isIdentifiable(format))
1189         {
1190           try
1191           {
1192             format = new IdentifyFile().identify(selectedFile,
1193                     DataSourceType.FILE);
1194           } catch (FileFormatException e)
1195           {
1196             // format = null; //??
1197           }
1198         }
1199
1200         new FileLoader().LoadFile(viewport, selectedFile,
1201                 DataSourceType.FILE, format);
1202       }
1203     });
1204     chooser.showOpenDialog(this);
1205   }
1206
1207   /**
1208    * Shows a dialog for input of a URL at which to retrieve alignment data
1209    *
1210    * @param viewport
1211    */
1212   @Override
1213   public void inputURLMenuItem_actionPerformed(AlignViewport viewport)
1214   {
1215     // This construct allows us to have a wider textfield
1216     // for viewing
1217     JLabel label = new JLabel(
1218             MessageManager.getString("label.input_file_url"));
1219
1220     JPanel panel = new JPanel(new GridLayout(2, 1));
1221     panel.add(label);
1222
1223     /*
1224      * the URL to fetch is
1225      * Java: an editable combobox with history
1226      * JS: (pending JAL-3038) a plain text field
1227      */
1228     JComponent history;
1229     String urlBase = "http://www.";
1230     if (Platform.isJS())
1231     {
1232       history = new JTextField(urlBase, 35);
1233     }
1234     else
1235     /**
1236      * Java only
1237      *
1238      * @j2sIgnore
1239      */
1240     {
1241       JComboBox<String> asCombo = new JComboBox<>();
1242       asCombo.setPreferredSize(new Dimension(400, 20));
1243       asCombo.setEditable(true);
1244       asCombo.addItem(urlBase);
1245       String historyItems = Cache.getProperty("RECENT_URL");
1246       if (historyItems != null)
1247       {
1248         for (String token : historyItems.split("\\t"))
1249         {
1250           asCombo.addItem(token);
1251         }
1252       }
1253       history = asCombo;
1254     }
1255     panel.add(history);
1256
1257     Object[] options = new Object[] { MessageManager.getString("action.ok"),
1258         MessageManager.getString("action.cancel") };
1259     Runnable action = new Runnable()
1260     {
1261       @Override
1262       public void run()
1263       {
1264         @SuppressWarnings("unchecked")
1265         String url = (history instanceof JTextField
1266                 ? ((JTextField) history).getText()
1267                 : ((JComboBox<String>) history).getSelectedItem()
1268                         .toString());
1269
1270         if (url.toLowerCase().endsWith(".jar"))
1271         {
1272           if (viewport != null)
1273           {
1274             new FileLoader().LoadFile(viewport, url, DataSourceType.URL,
1275                     FileFormat.Jalview);
1276           }
1277           else
1278           {
1279             new FileLoader().LoadFile(url, DataSourceType.URL,
1280                     FileFormat.Jalview);
1281           }
1282         }
1283         else
1284         {
1285           FileFormatI format = null;
1286           try
1287           {
1288             format = new IdentifyFile().identify(url, DataSourceType.URL);
1289           } catch (FileFormatException e)
1290           {
1291             // TODO revise error handling, distinguish between
1292             // URL not found and response not valid
1293           }
1294
1295           if (format == null)
1296           {
1297             String msg = MessageManager
1298                     .formatMessage("label.couldnt_locate", url);
1299             JvOptionPane.showInternalMessageDialog(Desktop.getDesktopPane(),
1300                     msg,
1301                     MessageManager.getString("label.url_not_found"),
1302                     JvOptionPane.WARNING_MESSAGE);
1303
1304             return;
1305           }
1306
1307           if (viewport != null)
1308           {
1309             new FileLoader().LoadFile(viewport, url, DataSourceType.URL,
1310                     format);
1311           }
1312           else
1313           {
1314             new FileLoader().LoadFile(url, DataSourceType.URL, format);
1315           }
1316         }
1317       }
1318     };
1319     String dialogOption = MessageManager
1320             .getString("label.input_alignment_from_url");
1321     JvOptionPane.newOptionDialog(getDesktopPane())
1322             .setResponseHandler(0, action)
1323             .showInternalDialog(panel, dialogOption,
1324                     JvOptionPane.YES_NO_CANCEL_OPTION,
1325                     JvOptionPane.PLAIN_MESSAGE, null, options,
1326                     MessageManager.getString("action.ok"));
1327   }
1328
1329   /**
1330    * Opens the CutAndPaste window for the user to paste an alignment in to
1331    *
1332    * @param viewPanel
1333    *          - if not null, the pasted alignment is added to the current
1334    *          alignment; if null, to a new alignment window
1335    */
1336   @Override
1337   public void inputTextboxMenuItem_actionPerformed(
1338           AlignmentViewPanel viewPanel)
1339   {
1340     CutAndPasteTransfer cap = new CutAndPasteTransfer();
1341     cap.setForInput(viewPanel);
1342     Desktop.addInternalFrame(cap,
1343             MessageManager.getString("label.cut_paste_alignmen_file"), true,
1344             600, 500);
1345   }
1346
1347   /*
1348    * Exit the program
1349    */
1350   @Override
1351   public void quit()
1352   {
1353     Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
1354     jalview.bin.Cache.setProperty("SCREENGEOMETRY_WIDTH",
1355             screen.width + "");
1356     jalview.bin.Cache.setProperty("SCREENGEOMETRY_HEIGHT",
1357             screen.height + "");
1358     storeLastKnownDimensions("", new Rectangle(getBounds().x, getBounds().y,
1359             getWidth(), getHeight()));
1360
1361     if (jconsole != null)
1362     {
1363       storeLastKnownDimensions("JAVA_CONSOLE_", jconsole.getBounds());
1364       jconsole.stopConsole();
1365     }
1366     if (jvnews != null)
1367     {
1368       storeLastKnownDimensions("JALVIEW_RSS_WINDOW_", jvnews.getBounds());
1369
1370     }
1371     if (dialogExecutor != null)
1372     {
1373       dialogExecutor.shutdownNow();
1374     }
1375     closeAll_actionPerformed(null);
1376
1377     if (groovyConsole != null)
1378     {
1379       // suppress a possible repeat prompt to save script
1380       groovyConsole.setDirty(false);
1381       groovyConsole.exit();
1382     }
1383     System.exit(0);
1384   }
1385
1386   private void storeLastKnownDimensions(String string, Rectangle jc)
1387   {
1388     jalview.bin.Cache.log.debug("Storing last known dimensions for "
1389             + string + ": x:" + jc.x + " y:" + jc.y + " width:" + jc.width
1390             + " height:" + jc.height);
1391
1392     jalview.bin.Cache.setProperty(string + "SCREEN_X", jc.x + "");
1393     jalview.bin.Cache.setProperty(string + "SCREEN_Y", jc.y + "");
1394     jalview.bin.Cache.setProperty(string + "SCREEN_WIDTH", jc.width + "");
1395     jalview.bin.Cache.setProperty(string + "SCREEN_HEIGHT", jc.height + "");
1396   }
1397
1398   /**
1399    * DOCUMENT ME!
1400    *
1401    * @param e
1402    *          DOCUMENT ME!
1403    */
1404   @Override
1405   public void aboutMenuItem_actionPerformed(ActionEvent e)
1406   {
1407     // StringBuffer message = getAboutMessage(false);
1408     // JvOptionPane.showInternalMessageDialog(Desktop.getDesktop(),
1409     //
1410     // message.toString(), "About Jalview", JvOptionPane.INFORMATION_MESSAGE);
1411     new Thread(new Runnable()
1412     {
1413       @Override
1414       public void run()
1415       {
1416         new SplashScreen(true);
1417       }
1418     }).start();
1419   }
1420
1421   public StringBuffer getAboutMessage(boolean shortv)
1422   {
1423     StringBuffer message = new StringBuffer();
1424     message.append("<html>");
1425     if (shortv)
1426     {
1427       message.append("<h1><strong>Version: "
1428               + jalview.bin.Cache.getProperty("VERSION")
1429               + "</strong></h1>");
1430       message.append("<strong>Last Updated: <em>"
1431               + jalview.bin.Cache.getDefault("BUILD_DATE", "unknown")
1432               + "</em></strong>");
1433
1434     }
1435     else
1436     {
1437
1438       message.append("<strong>Version "
1439               + jalview.bin.Cache.getProperty("VERSION")
1440               + "; last updated: "
1441               + jalview.bin.Cache.getDefault("BUILD_DATE", "unknown"));
1442     }
1443
1444     if (jalview.bin.Cache.getDefault("LATEST_VERSION", "Checking")
1445             .equals("Checking"))
1446     {
1447       message.append("<br>...Checking latest version...</br>");
1448     }
1449     else if (!jalview.bin.Cache.getDefault("LATEST_VERSION", "Checking")
1450             .equals(jalview.bin.Cache.getProperty("VERSION")))
1451     {
1452       boolean red = false;
1453       if (jalview.bin.Cache.getProperty("VERSION").toLowerCase()
1454               .indexOf("automated build") == -1)
1455       {
1456         red = true;
1457         // Displayed when code version and jnlp version do not match and code
1458         // version is not a development build
1459         message.append("<div style=\"color: #FF0000;font-style: bold;\">");
1460       }
1461
1462       message.append("<br>!! Version "
1463               + jalview.bin.Cache.getDefault("LATEST_VERSION",
1464                       "..Checking..")
1465               + " is available for download from "
1466               + jalview.bin.Cache.getDefault("www.jalview.org",
1467                       "http://www.jalview.org")
1468               + " !!");
1469       if (red)
1470       {
1471         message.append("</div>");
1472       }
1473     }
1474     message.append("<br>Authors:  " + jalview.bin.Cache.getDefault(
1475             "AUTHORFNAMES",
1476             "The Jalview Authors (See AUTHORS file for current list)")
1477             + "<br><br>Development managed by The Barton Group, University of Dundee, Scotland, UK.<br>"
1478             + "<br><br>For help, see the FAQ at <a href=\"http://www.jalview.org/faq\">www.jalview.org/faq</a> and/or join the jalview-discuss@jalview.org mailing list"
1479             + "<br><br>If  you use Jalview, please cite:"
1480             + "<br>Waterhouse, A.M., Procter, J.B., Martin, D.M.A, Clamp, M. and Barton, G. J. (2009)"
1481             + "<br>Jalview Version 2 - a multiple sequence alignment editor and analysis workbench"
1482             + "<br>Bioinformatics doi: 10.1093/bioinformatics/btp033"
1483             + "</html>");
1484     return message;
1485   }
1486
1487   /**
1488    * Action on requesting Help documentation
1489    */
1490   @Override
1491   public void documentationMenuItem_actionPerformed()
1492   {
1493     try
1494     {
1495       if (Platform.isJS())
1496       {
1497         BrowserLauncher.openURL("http://www.jalview.org/help.html");
1498       }
1499       else
1500       /**
1501        * Java only
1502        *
1503        * @j2sIgnore
1504        */
1505       {
1506         Help.showHelpWindow();
1507       }
1508     } catch (Exception ex)
1509     {
1510       System.err.println("Error opening help: " + ex.getMessage());
1511     }
1512   }
1513
1514   @Override
1515   public void closeAll_actionPerformed(ActionEvent e)
1516   {
1517     if (getDesktopPane() == null)
1518     {
1519       return;
1520     }
1521     // TODO show a progress bar while closing?
1522     JInternalFrame[] frames = getDesktopPane().getAllFrames();
1523     for (int i = 0; i < frames.length; i++)
1524     {
1525       try
1526       {
1527         frames[i].setClosed(true);
1528       } catch (java.beans.PropertyVetoException ex)
1529       {
1530       }
1531     }
1532     Jalview.setCurrentAlignFrame(null);
1533     System.out.println("ALL CLOSED");
1534     if (v_client != null)
1535     {
1536       // TODO clear binding to vamsas document objects on close_all
1537     }
1538
1539     /*
1540      * reset state of singleton objects as appropriate (clear down session state
1541      * when all windows are closed)
1542      */
1543     StructureSelectionManager ssm = StructureSelectionManager
1544             .getStructureSelectionManager(this);
1545     if (ssm != null)
1546     {
1547       ssm.resetAll();
1548     }
1549   }
1550
1551   @Override
1552   public void raiseRelated_actionPerformed(ActionEvent e)
1553   {
1554     reorderAssociatedWindows(false, false);
1555   }
1556
1557   @Override
1558   public void minimizeAssociated_actionPerformed(ActionEvent e)
1559   {
1560     reorderAssociatedWindows(true, false);
1561   }
1562
1563   void closeAssociatedWindows()
1564   {
1565     reorderAssociatedWindows(false, true);
1566   }
1567
1568   /*
1569    * (non-Javadoc)
1570    *
1571    * @seejalview.jbgui.GDesktop#garbageCollect_actionPerformed(java.awt.event.
1572    * ActionEvent)
1573    */
1574   @Override
1575   protected void garbageCollect_actionPerformed(ActionEvent e)
1576   {
1577     // We simply collect the garbage
1578     jalview.bin.Cache.log.debug("Collecting garbage...");
1579     System.gc();
1580     jalview.bin.Cache.log.debug("Finished garbage collection.");
1581   }
1582
1583   /*
1584    * (non-Javadoc)
1585    *
1586    * @see
1587    * jalview.jbgui.GDesktop#showMemusage_actionPerformed(java.awt.event.ActionEvent
1588    * )
1589    */
1590   @Override
1591   protected void showMemusage_actionPerformed(ActionEvent e)
1592   {
1593     getDesktopPane().showMemoryUsage(showMemusage.isSelected());
1594   }
1595
1596   /*
1597    * (non-Javadoc)
1598    *
1599    * @see
1600    * jalview.jbgui.GDesktop#showConsole_actionPerformed(java.awt.event.ActionEvent
1601    * )
1602    */
1603   @Override
1604   protected void showConsole_actionPerformed(ActionEvent e)
1605   {
1606     showConsole(showConsole.isSelected());
1607   }
1608
1609   Console jconsole = null;
1610
1611   /**
1612    * control whether the java console is visible or not
1613    *
1614    * @param selected
1615    */
1616   void showConsole(boolean selected)
1617   {
1618     // TODO: decide if we should update properties file
1619     if (jconsole != null) // BH 2018
1620     {
1621       showConsole.setSelected(selected);
1622       Cache.setProperty("SHOW_JAVA_CONSOLE",
1623               Boolean.valueOf(selected).toString());
1624       jconsole.setVisible(selected);
1625     }
1626   }
1627
1628   void reorderAssociatedWindows(boolean minimize, boolean close)
1629   {
1630     JInternalFrame[] frames = getDesktopPane().getAllFrames();
1631     if (frames == null || frames.length < 1)
1632     {
1633       return;
1634     }
1635
1636     AlignmentViewport source = null, target = null;
1637     if (frames[0] instanceof AlignFrame)
1638     {
1639       source = ((AlignFrame) frames[0]).getCurrentView();
1640     }
1641     else if (frames[0] instanceof TreePanel)
1642     {
1643       source = ((TreePanel) frames[0]).getViewPort();
1644     }
1645     else if (frames[0] instanceof PCAPanel)
1646     {
1647       source = ((PCAPanel) frames[0]).av;
1648     }
1649     else if (frames[0].getContentPane() instanceof PairwiseAlignPanel)
1650     {
1651       source = ((PairwiseAlignPanel) frames[0].getContentPane()).av;
1652     }
1653
1654     if (source != null)
1655     {
1656       for (int i = 0; i < frames.length; i++)
1657       {
1658         target = null;
1659         if (frames[i] == null)
1660         {
1661           continue;
1662         }
1663         if (frames[i] instanceof AlignFrame)
1664         {
1665           target = ((AlignFrame) frames[i]).getCurrentView();
1666         }
1667         else if (frames[i] instanceof TreePanel)
1668         {
1669           target = ((TreePanel) frames[i]).getViewPort();
1670         }
1671         else if (frames[i] instanceof PCAPanel)
1672         {
1673           target = ((PCAPanel) frames[i]).av;
1674         }
1675         else if (frames[i].getContentPane() instanceof PairwiseAlignPanel)
1676         {
1677           target = ((PairwiseAlignPanel) frames[i].getContentPane()).av;
1678         }
1679
1680         if (source == target)
1681         {
1682           try
1683           {
1684             if (close)
1685             {
1686               frames[i].setClosed(true);
1687             }
1688             else
1689             {
1690               frames[i].setIcon(minimize);
1691               if (!minimize)
1692               {
1693                 frames[i].toFront();
1694               }
1695             }
1696
1697           } catch (java.beans.PropertyVetoException ex)
1698           {
1699           }
1700         }
1701       }
1702     }
1703   }
1704
1705   /**
1706    * DOCUMENT ME!
1707    *
1708    * @param e
1709    *          DOCUMENT ME!
1710    */
1711   @Override
1712   protected void preferences_actionPerformed(ActionEvent e)
1713   {
1714     new Preferences();
1715   }
1716
1717   /**
1718    * Prompts the user to choose a file and then saves the Jalview state as a
1719    * Jalview project file
1720    */
1721   @Override
1722   public void saveState_actionPerformed()
1723   {
1724     saveState_actionPerformed(false);
1725   }
1726
1727   public void saveState_actionPerformed(boolean saveAs)
1728   {
1729     java.io.File projectFile = getProjectFile();
1730     // autoSave indicates we already have a file and don't need to ask
1731     boolean autoSave = projectFile != null && !saveAs
1732             && BackupFiles.getEnabled();
1733
1734     // System.out.println("autoSave="+autoSave+", projectFile='"+projectFile+"',
1735     // saveAs="+saveAs+", Backups
1736     // "+(BackupFiles.getEnabled()?"enabled":"disabled"));
1737
1738     boolean approveSave = false;
1739     if (!autoSave)
1740     {
1741       JalviewFileChooser chooser = new JalviewFileChooser("jvp",
1742               "Jalview Project");
1743
1744       chooser.setFileView(new JalviewFileView());
1745       chooser.setDialogTitle(MessageManager.getString("label.save_state"));
1746
1747       int value = chooser.showSaveDialog(this);
1748
1749       if (value == JalviewFileChooser.APPROVE_OPTION)
1750       {
1751         projectFile = chooser.getSelectedFile();
1752         setProjectFile(projectFile);
1753         approveSave = true;
1754       }
1755     }
1756
1757     if (approveSave || autoSave)
1758     {
1759       final Desktop me = this;
1760       final java.io.File chosenFile = projectFile;
1761       new Thread(new Runnable()
1762       {
1763         @Override
1764         public void run()
1765         {
1766           // TODO: refactor to Jalview desktop session controller action.
1767           setProgressBar(MessageManager.formatMessage(
1768                   "label.saving_jalview_project", new Object[]
1769                   { chosenFile.getName() }), chosenFile.hashCode());
1770           jalview.bin.Cache.setProperty("LAST_DIRECTORY",
1771                   chosenFile.getParent());
1772           // TODO catch and handle errors for savestate
1773           // TODO prevent user from messing with the Desktop whilst we're saving
1774           try
1775           {
1776                 boolean doBackup = BackupFiles.getEnabled();
1777             BackupFiles backupfiles = doBackup ? new BackupFiles(chosenFile) : null;
1778
1779             new Jalview2XML().saveState(doBackup ? backupfiles.getTempFile() : chosenFile);
1780
1781             if (doBackup)
1782             {
1783               backupfiles.setWriteSuccess(true);
1784               backupfiles.rollBackupsAndRenameTempFile();
1785             }
1786           } catch (OutOfMemoryError oom)
1787           {
1788             new OOMWarning("Whilst saving current state to "
1789                     + chosenFile.getName(), oom);
1790           } catch (Exception ex)
1791           {
1792             Cache.log.error("Problems whilst trying to save to "
1793                     + chosenFile.getName(), ex);
1794             JvOptionPane.showMessageDialog(me,
1795                     MessageManager.formatMessage(
1796                             "label.error_whilst_saving_current_state_to",
1797                             new Object[]
1798                             { chosenFile.getName() }),
1799                     MessageManager.getString("label.couldnt_save_project"),
1800                     JvOptionPane.WARNING_MESSAGE);
1801           }
1802           setProgressBar(null, chosenFile.hashCode());
1803         }
1804       }).start();
1805       }
1806   }
1807
1808   @Override
1809   public void saveAsState_actionPerformed(ActionEvent e)
1810   {
1811     saveState_actionPerformed(true);
1812   }
1813
1814   protected void setProjectFile(File choice)
1815   {
1816     this.projectFile = choice;
1817   }
1818
1819   public File getProjectFile()
1820   {
1821     return this.projectFile;
1822   }
1823
1824   /**
1825    * Shows a file chooser dialog and tries to read in the selected file as a
1826    * Jalview project
1827    */
1828   @Override
1829   public void loadState_actionPerformed()
1830   {
1831     final String[] suffix = new String[] { "jvp", "jar" };
1832     final String[] desc = new String[] { "Jalview Project",
1833         "Jalview Project (old)" };
1834     JalviewFileChooser chooser = new JalviewFileChooser(
1835             Cache.getProperty("LAST_DIRECTORY"), suffix, desc,
1836             "Jalview Project", true, true); // last two booleans: allFiles,
1837                                             // allowBackupFiles
1838     chooser.setFileView(new JalviewFileView());
1839     chooser.setDialogTitle(MessageManager.getString("label.restore_state"));
1840     chooser.setResponseHandler(0, new Runnable()
1841     {
1842       @Override
1843       public void run()
1844       {
1845         File selectedFile = chooser.getSelectedFile();
1846         setProjectFile(selectedFile);
1847         String choice = selectedFile.getAbsolutePath();
1848         Cache.setProperty("LAST_DIRECTORY", selectedFile.getParent());
1849         new Thread(new Runnable()
1850         {
1851           @Override
1852           public void run()
1853           {
1854                 try
1855             {
1856               new Jalview2XML().loadJalviewAlign(choice);
1857             } catch (OutOfMemoryError oom)
1858                 {
1859                   new OOMWarning("Whilst loading project from " + choice, oom);
1860                 } catch (Exception ex)
1861                 {
1862                   Cache.log.error(
1863                           "Problems whilst loading project from " + choice, ex);
1864               JvOptionPane.showMessageDialog(Desktop.getDesktopPane(),
1865                           MessageManager.formatMessage(
1866                                   "label.error_whilst_loading_project_from",
1867                                 new Object[]
1868                                     { choice }),
1869                           MessageManager.getString("label.couldnt_load_project"),
1870                           JvOptionPane.WARNING_MESSAGE);
1871                 }
1872           }
1873         }).start();
1874       }
1875     });
1876
1877     chooser.showOpenDialog(this);
1878   }
1879
1880   @Override
1881   public void inputSequence_actionPerformed(ActionEvent e)
1882   {
1883     new SequenceFetcher(this);
1884   }
1885
1886   JPanel progressPanel;
1887
1888   ArrayList<JPanel> fileLoadingPanels = new ArrayList<>();
1889
1890   public void startLoading(final Object fileName)
1891   {
1892     if (fileLoadingCount == 0)
1893     {
1894       fileLoadingPanels.add(addProgressPanel(MessageManager
1895               .formatMessage("label.loading_file", new Object[]
1896               { fileName })));
1897     }
1898     fileLoadingCount++;
1899   }
1900
1901   private JPanel addProgressPanel(String string)
1902   {
1903     if (progressPanel == null)
1904     {
1905       progressPanel = new JPanel(new GridLayout(1, 1));
1906       totalProgressCount = 0;
1907       getInstance().getContentPane().add(progressPanel, BorderLayout.SOUTH);
1908     }
1909     JPanel thisprogress = new JPanel(new BorderLayout(10, 5));
1910     JProgressBar progressBar = new JProgressBar();
1911     progressBar.setIndeterminate(true);
1912
1913     thisprogress.add(new JLabel(string), BorderLayout.WEST);
1914
1915     thisprogress.add(progressBar, BorderLayout.CENTER);
1916     progressPanel.add(thisprogress);
1917     ((GridLayout) progressPanel.getLayout()).setRows(
1918             ((GridLayout) progressPanel.getLayout()).getRows() + 1);
1919     ++totalProgressCount;
1920     getInstance().validate();
1921     return thisprogress;
1922   }
1923
1924   int totalProgressCount = 0;
1925
1926   private void removeProgressPanel(JPanel progbar)
1927   {
1928     if (progressPanel != null)
1929     {
1930       synchronized (progressPanel)
1931       {
1932         progressPanel.remove(progbar);
1933         GridLayout gl = (GridLayout) progressPanel.getLayout();
1934         gl.setRows(gl.getRows() - 1);
1935         if (--totalProgressCount < 1)
1936         {
1937           this.getContentPane().remove(progressPanel);
1938           progressPanel = null;
1939         }
1940       }
1941     }
1942     validate();
1943   }
1944
1945   public void stopLoading()
1946   {
1947     fileLoadingCount--;
1948     if (fileLoadingCount < 1)
1949     {
1950       while (fileLoadingPanels.size() > 0)
1951       {
1952         removeProgressPanel(fileLoadingPanels.remove(0));
1953       }
1954       fileLoadingPanels.clear();
1955       fileLoadingCount = 0;
1956     }
1957     validate();
1958   }
1959
1960   public static int getViewCount(String alignmentId)
1961   {
1962     AlignmentViewport[] aps = getViewports(alignmentId);
1963     return (aps == null) ? 0 : aps.length;
1964   }
1965
1966   /**
1967    *
1968    * @param alignmentId
1969    *          - if null, all sets are returned
1970    * @return all AlignmentPanels concerning the alignmentId sequence set
1971    */
1972   public static AlignmentPanel[] getAlignmentPanels(String alignmentId)
1973   {
1974     if (Desktop.getDesktopPane() == null)
1975     {
1976       // no frames created and in headless mode
1977       // TODO: verify that frames are recoverable when in headless mode
1978       return null;
1979     }
1980     List<AlignmentPanel> aps = new ArrayList<>();
1981     AlignFrame[] frames = getAlignFrames();
1982     if (frames == null)
1983     {
1984       return null;
1985     }
1986     for (AlignFrame af : frames)
1987     {
1988       for (AlignmentPanel ap : af.alignPanels)
1989       {
1990         if (alignmentId == null
1991                 || alignmentId.equals(ap.av.getSequenceSetId()))
1992         {
1993           aps.add(ap);
1994         }
1995       }
1996     }
1997     if (aps.size() == 0)
1998     {
1999       return null;
2000     }
2001     AlignmentPanel[] vap = aps.toArray(new AlignmentPanel[aps.size()]);
2002     return vap;
2003   }
2004
2005   /**
2006    * get all the viewports on an alignment.
2007    *
2008    * @param sequenceSetId
2009    *          unique alignment id (may be null - all viewports returned in that
2010    *          case)
2011    * @return all viewports on the alignment bound to sequenceSetId
2012    */
2013   public static AlignmentViewport[] getViewports(String sequenceSetId)
2014   {
2015     List<AlignmentViewport> viewp = new ArrayList<>();
2016     if (getDesktopPane() != null)
2017     {
2018       AlignFrame[] frames = Desktop.getAlignFrames();
2019
2020       for (AlignFrame afr : frames)
2021       {
2022         if (sequenceSetId == null || afr.getViewport().getSequenceSetId()
2023                 .equals(sequenceSetId))
2024         {
2025           if (afr.alignPanels != null)
2026           {
2027             for (AlignmentPanel ap : afr.alignPanels)
2028             {
2029               if (sequenceSetId == null
2030                       || sequenceSetId.equals(ap.av.getSequenceSetId()))
2031               {
2032                 viewp.add(ap.av);
2033               }
2034             }
2035           }
2036           else
2037           {
2038             viewp.add(afr.getViewport());
2039           }
2040         }
2041       }
2042       if (viewp.size() > 0)
2043       {
2044         return viewp.toArray(new AlignmentViewport[viewp.size()]);
2045       }
2046     }
2047     return null;
2048   }
2049
2050   /**
2051    * Explode the views in the given frame into separate AlignFrame
2052    *
2053    * @param af
2054    */
2055   public static void explodeViews(AlignFrame af)
2056   {
2057     int size = af.alignPanels.size();
2058     if (size < 2)
2059     {
2060       return;
2061     }
2062
2063     for (int i = 0; i < size; i++)
2064     {
2065       AlignmentPanel ap = af.alignPanels.get(i);
2066       AlignFrame newaf = new AlignFrame(ap);
2067
2068       /*
2069        * Restore the view's last exploded frame geometry if known. Multiple
2070        * views from one exploded frame share and restore the same (frame)
2071        * position and size.
2072        */
2073       Rectangle geometry = ap.av.getExplodedGeometry();
2074       if (geometry != null)
2075       {
2076         newaf.setBounds(geometry);
2077       }
2078
2079       ap.av.setGatherViewsHere(false);
2080
2081       addInternalFrame(newaf, af.getTitle(), AlignFrame.DEFAULT_WIDTH,
2082               AlignFrame.DEFAULT_HEIGHT);
2083     }
2084
2085     af.alignPanels.clear();
2086     af.closeMenuItem_actionPerformed(true);
2087
2088   }
2089
2090   /**
2091    * Gather expanded views (separate AlignFrame's) with the same sequence set
2092    * identifier back in to this frame as additional views, and close the expanded
2093    * views. Note the expanded frames may themselves have multiple views. We take
2094    * the lot.
2095    *
2096    * @param source
2097    */
2098   public void gatherViews(AlignFrame source)
2099   {
2100     source.viewport.setGatherViewsHere(true);
2101     source.viewport.setExplodedGeometry(source.getBounds());
2102     JInternalFrame[] frames = getDesktopPane().getAllFrames();
2103     String viewId = source.viewport.getSequenceSetId();
2104
2105     for (int t = 0; t < frames.length; t++)
2106     {
2107       if (frames[t] instanceof AlignFrame && frames[t] != source)
2108       {
2109         AlignFrame af = (AlignFrame) frames[t];
2110         boolean gatherThis = false;
2111         for (int a = 0; a < af.alignPanels.size(); a++)
2112         {
2113           AlignmentPanel ap = af.alignPanels.get(a);
2114           if (viewId.equals(ap.av.getSequenceSetId()))
2115           {
2116             gatherThis = true;
2117             ap.av.setGatherViewsHere(false);
2118             ap.av.setExplodedGeometry(af.getBounds());
2119             source.addAlignmentPanel(ap, false);
2120           }
2121         }
2122
2123         if (gatherThis)
2124         {
2125           af.alignPanels.clear();
2126           af.closeMenuItem_actionPerformed(true);
2127         }
2128       }
2129     }
2130
2131   }
2132
2133   jalview.gui.VamsasApplication v_client = null;
2134
2135   @Override
2136   public void vamsasImport_actionPerformed(ActionEvent e)
2137   {
2138     // TODO: JAL-3048 not needed for Jalview-JS
2139
2140     if (v_client == null)
2141     {
2142       // Load and try to start a session.
2143       JalviewFileChooser chooser = new JalviewFileChooser(
2144               jalview.bin.Cache.getProperty("LAST_DIRECTORY"));
2145
2146       chooser.setFileView(new JalviewFileView());
2147       chooser.setDialogTitle(
2148               MessageManager.getString("label.open_saved_vamsas_session"));
2149       chooser.setToolTipText(MessageManager.getString(
2150               "label.select_vamsas_session_opened_as_new_vamsas_session"));
2151
2152       int value = chooser.showOpenDialog(this);
2153
2154       if (value == JalviewFileChooser.APPROVE_OPTION)
2155       {
2156         String fle = chooser.getSelectedFile().toString();
2157         if (!vamsasImport(chooser.getSelectedFile()))
2158         {
2159           JvOptionPane.showInternalMessageDialog(Desktop.getDesktopPane(),
2160                   MessageManager.formatMessage(
2161                           "label.couldnt_import_as_vamsas_session",
2162                           new Object[]
2163                           { fle }),
2164                   MessageManager
2165                           .getString("label.vamsas_document_import_failed"),
2166                   JvOptionPane.ERROR_MESSAGE);
2167         }
2168       }
2169     }
2170     else
2171     {
2172       jalview.bin.Cache.log.error(
2173               "Implementation error - load session from a running session is not supported.");
2174     }
2175   }
2176
2177   /**
2178    * import file into a new vamsas session (uses jalview.gui.VamsasApplication)
2179    *
2180    * @param file
2181    * @return true if import was a success and a session was started.
2182    */
2183   public boolean vamsasImport(URL url)
2184   {
2185     // TODO: create progress bar
2186     if (v_client != null)
2187     {
2188
2189       jalview.bin.Cache.log.error(
2190               "Implementation error - load session from a running session is not supported.");
2191       return false;
2192     }
2193
2194     try
2195     {
2196       // copy the URL content to a temporary local file
2197       // TODO: be a bit cleverer here with nio (?!)
2198       File file = File.createTempFile("vdocfromurl", ".vdj");
2199       FileOutputStream fos = new FileOutputStream(file);
2200       BufferedInputStream bis = new BufferedInputStream(url.openStream());
2201       byte[] buffer = new byte[2048];
2202       int ln;
2203       while ((ln = bis.read(buffer)) > -1)
2204       {
2205         fos.write(buffer, 0, ln);
2206       }
2207       bis.close();
2208       fos.close();
2209       v_client = new jalview.gui.VamsasApplication(this, file,
2210               url.toExternalForm());
2211     } catch (Exception ex)
2212     {
2213       jalview.bin.Cache.log.error(
2214               "Failed to create new vamsas session from contents of URL "
2215                       + url,
2216               ex);
2217       return false;
2218     }
2219     setupVamsasConnectedGui();
2220     v_client.initial_update(); // TODO: thread ?
2221     return v_client.inSession();
2222   }
2223
2224   /**
2225    * import file into a new vamsas session (uses jalview.gui.VamsasApplication)
2226    *
2227    * @param file
2228    * @return true if import was a success and a session was started.
2229    */
2230   public boolean vamsasImport(File file)
2231   {
2232     if (v_client != null)
2233     {
2234
2235       jalview.bin.Cache.log.error(
2236               "Implementation error - load session from a running session is not supported.");
2237       return false;
2238     }
2239
2240     setProgressBar(MessageManager.formatMessage(
2241             "status.importing_vamsas_session_from", new Object[]
2242             { file.getName() }), file.hashCode());
2243     try
2244     {
2245       v_client = new jalview.gui.VamsasApplication(this, file, null);
2246     } catch (Exception ex)
2247     {
2248       setProgressBar(MessageManager.formatMessage(
2249               "status.importing_vamsas_session_from", new Object[]
2250               { file.getName() }), file.hashCode());
2251       jalview.bin.Cache.log.error(
2252               "New vamsas session from existing session file failed:", ex);
2253       return false;
2254     }
2255     setupVamsasConnectedGui();
2256     v_client.initial_update(); // TODO: thread ?
2257     setProgressBar(MessageManager.formatMessage(
2258             "status.importing_vamsas_session_from", new Object[]
2259             { file.getName() }), file.hashCode());
2260     return v_client.inSession();
2261   }
2262
2263   public boolean joinVamsasSession(String mysesid)
2264   {
2265     if (v_client != null)
2266     {
2267       throw new Error(MessageManager
2268               .getString("error.try_join_vamsas_session_another"));
2269     }
2270     if (mysesid == null)
2271     {
2272       throw new Error(
2273               MessageManager.getString("error.invalid_vamsas_session_id"));
2274     }
2275     v_client = new VamsasApplication(this, mysesid);
2276     setupVamsasConnectedGui();
2277     v_client.initial_update();
2278     return (v_client.inSession());
2279   }
2280
2281   @Override
2282   public void vamsasStart_actionPerformed(ActionEvent e)
2283   {
2284     if (v_client == null)
2285     {
2286       // Start a session.
2287       // we just start a default session for moment.
2288       /*
2289        * JalviewFileChooser chooser = new JalviewFileChooser(jalview.bin.Cache.
2290        * getProperty("LAST_DIRECTORY"));
2291        *
2292        * chooser.setFileView(new JalviewFileView());
2293        * chooser.setDialogTitle("Load Vamsas file");
2294        * chooser.setToolTipText("Import");
2295        *
2296        * int value = chooser.showOpenDialog(this);
2297        *
2298        * if (value == JalviewFileChooser.APPROVE_OPTION) { v_client = new
2299        * jalview.gui.VamsasApplication(this, chooser.getSelectedFile());
2300        */
2301       v_client = new VamsasApplication(this);
2302       setupVamsasConnectedGui();
2303       v_client.initial_update(); // TODO: thread ?
2304     }
2305     else
2306     {
2307       // store current data in session.
2308       v_client.push_update(); // TODO: thread
2309     }
2310   }
2311
2312   protected void setupVamsasConnectedGui()
2313   {
2314     vamsasStart.setText(MessageManager.getString("label.session_update"));
2315     vamsasSave.setVisible(true);
2316     vamsasStop.setVisible(true);
2317     vamsasImport.setVisible(false); // Document import to existing session is
2318     // not possible for vamsas-client-1.0.
2319   }
2320
2321   protected void setupVamsasDisconnectedGui()
2322   {
2323     vamsasSave.setVisible(false);
2324     vamsasStop.setVisible(false);
2325     vamsasImport.setVisible(true);
2326     vamsasStart
2327             .setText(MessageManager.getString("label.new_vamsas_session"));
2328   }
2329
2330   @Override
2331   public void vamsasStop_actionPerformed(ActionEvent e)
2332   {
2333     if (v_client != null)
2334     {
2335       v_client.end_session();
2336       v_client = null;
2337       setupVamsasDisconnectedGui();
2338     }
2339   }
2340
2341   protected void buildVamsasStMenu()
2342   {
2343     if (v_client == null)
2344     {
2345       String[] sess = null;
2346       try
2347       {
2348         sess = VamsasApplication.getSessionList();
2349       } catch (Exception e)
2350       {
2351         jalview.bin.Cache.log.warn("Problem getting current sessions list.",
2352                 e);
2353         sess = null;
2354       }
2355       if (sess != null)
2356       {
2357         jalview.bin.Cache.log.debug(
2358                 "Got current sessions list: " + sess.length + " entries.");
2359         VamsasStMenu.removeAll();
2360         for (int i = 0; i < sess.length; i++)
2361         {
2362           JMenuItem sessit = new JMenuItem();
2363           sessit.setText(sess[i]);
2364           sessit.setToolTipText(MessageManager
2365                   .formatMessage("label.connect_to_session", new Object[]
2366                   { sess[i] }));
2367           final Desktop dsktp = this;
2368           final String mysesid = sess[i];
2369           sessit.addActionListener(new ActionListener()
2370           {
2371
2372             @Override
2373             public void actionPerformed(ActionEvent e)
2374             {
2375               if (dsktp.v_client == null)
2376               {
2377                 Thread rthr = new Thread(new Runnable()
2378                 {
2379
2380                   @Override
2381                   public void run()
2382                   {
2383                     dsktp.v_client = new VamsasApplication(dsktp, mysesid);
2384                     dsktp.setupVamsasConnectedGui();
2385                     dsktp.v_client.initial_update();
2386                   }
2387
2388                 });
2389                 rthr.start();
2390               }
2391             };
2392           });
2393           VamsasStMenu.add(sessit);
2394         }
2395         // don't show an empty menu.
2396         VamsasStMenu.setVisible(sess.length > 0);
2397
2398       }
2399       else
2400       {
2401         jalview.bin.Cache.log.debug("No current vamsas sessions.");
2402         VamsasStMenu.removeAll();
2403         VamsasStMenu.setVisible(false);
2404       }
2405     }
2406     else
2407     {
2408       // Not interested in the content. Just hide ourselves.
2409       VamsasStMenu.setVisible(false);
2410     }
2411   }
2412
2413   @Override
2414   public void vamsasSave_actionPerformed(ActionEvent e)
2415   {
2416     // TODO: JAL-3048 not needed for Jalview-JS
2417
2418     if (v_client != null)
2419     {
2420       // TODO: VAMSAS DOCUMENT EXTENSION is VDJ
2421       JalviewFileChooser chooser = new JalviewFileChooser("vdj",
2422               "Vamsas Document");
2423
2424       chooser.setFileView(new JalviewFileView());
2425       chooser.setDialogTitle(MessageManager
2426               .getString("label.save_vamsas_document_archive"));
2427
2428       int value = chooser.showSaveDialog(this);
2429
2430       if (value == JalviewFileChooser.APPROVE_OPTION)
2431       {
2432         java.io.File choice = chooser.getSelectedFile();
2433         JPanel progpanel = addProgressPanel(MessageManager
2434                 .formatMessage("label.saving_vamsas_doc", new Object[]
2435                 { choice.getName() }));
2436         Cache.setProperty("LAST_DIRECTORY", choice.getParent());
2437         String warnmsg = null;
2438         String warnttl = null;
2439         try
2440         {
2441           v_client.vclient.storeDocument(choice);
2442         } catch (Error ex)
2443         {
2444           warnttl = "Serious Problem saving Vamsas Document";
2445           warnmsg = ex.toString();
2446           jalview.bin.Cache.log
2447                   .error("Error Whilst saving document to " + choice, ex);
2448
2449         } catch (Exception ex)
2450         {
2451           warnttl = "Problem saving Vamsas Document.";
2452           warnmsg = ex.toString();
2453           jalview.bin.Cache.log.warn(
2454                   "Exception Whilst saving document to " + choice, ex);
2455
2456         }
2457         removeProgressPanel(progpanel);
2458         if (warnmsg != null)
2459         {
2460           JvOptionPane.showInternalMessageDialog(Desktop.getDesktopPane(),
2461
2462                   warnmsg, warnttl, JvOptionPane.ERROR_MESSAGE);
2463         }
2464       }
2465     }
2466   }
2467
2468   JPanel vamUpdate = null;
2469
2470   /**
2471    * hide vamsas user gui bits when a vamsas document event is being handled.
2472    *
2473    * @param b
2474    *          true to hide gui, false to reveal gui
2475    */
2476   public void setVamsasUpdate(boolean b)
2477   {
2478     Cache.log.debug("Setting gui for Vamsas update "
2479             + (b ? "in progress" : "finished"));
2480
2481     if (vamUpdate != null)
2482     {
2483       this.removeProgressPanel(vamUpdate);
2484     }
2485     if (b)
2486     {
2487       vamUpdate = this.addProgressPanel(
2488               MessageManager.getString("label.updating_vamsas_session"));
2489     }
2490     vamsasStart.setVisible(!b);
2491     vamsasStop.setVisible(!b);
2492     vamsasSave.setVisible(!b);
2493   }
2494
2495   public JInternalFrame[] getAllFrames()
2496   {
2497     return getDesktopPane().getAllFrames();
2498   }
2499
2500   /**
2501    * Checks the given url to see if it gives a response indicating that the user
2502    * should be informed of a new questionnaire.
2503    *
2504    * @param url
2505    */
2506   public void checkForQuestionnaire(String url)
2507   {
2508     UserQuestionnaireCheck jvq = new UserQuestionnaireCheck(url);
2509     // javax.swing.SwingUtilities.invokeLater(jvq);
2510     new Thread(jvq).start();
2511   }
2512
2513   public void checkURLLinks()
2514   {
2515     // Thread off the URL link checker
2516     addDialogThread(new Runnable()
2517     {
2518       @Override
2519       public void run()
2520       {
2521         if (Cache.getDefault("CHECKURLLINKS", true))
2522         {
2523           // check what the actual links are - if it's just the default don't
2524           // bother with the warning
2525           List<String> links = Preferences.sequenceUrlLinks
2526                   .getLinksForMenu();
2527
2528           // only need to check links if there is one with a
2529           // SEQUENCE_ID which is not the default EMBL_EBI link
2530           ListIterator<String> li = links.listIterator();
2531           boolean check = false;
2532           List<JLabel> urls = new ArrayList<>();
2533           while (li.hasNext())
2534           {
2535             String link = li.next();
2536             if (link.contains(UrlConstants.SEQUENCE_ID)
2537                     && !UrlConstants.isDefaultString(link))
2538             {
2539               check = true;
2540               int barPos = link.indexOf("|");
2541               String urlMsg = barPos == -1 ? link
2542                       : link.substring(0, barPos) + ": "
2543                               + link.substring(barPos + 1);
2544               urls.add(new JLabel(urlMsg));
2545             }
2546           }
2547           if (!check)
2548           {
2549             return;
2550           }
2551
2552           // ask user to check in case URL links use old style tokens
2553           // ($SEQUENCE_ID$ for sequence id _or_ accession id)
2554           JPanel msgPanel = new JPanel();
2555           msgPanel.setLayout(new BoxLayout(msgPanel, BoxLayout.PAGE_AXIS));
2556           msgPanel.add(Box.createVerticalGlue());
2557           JLabel msg = new JLabel(MessageManager
2558                   .getString("label.SEQUENCE_ID_for_DB_ACCESSION1"));
2559           JLabel msg2 = new JLabel(MessageManager
2560                   .getString("label.SEQUENCE_ID_for_DB_ACCESSION2"));
2561           msgPanel.add(msg);
2562           for (JLabel url : urls)
2563           {
2564             msgPanel.add(url);
2565           }
2566           msgPanel.add(msg2);
2567
2568           final JCheckBox jcb = new JCheckBox(
2569                   MessageManager.getString("label.do_not_display_again"));
2570           jcb.addActionListener(new ActionListener()
2571           {
2572             @Override
2573             public void actionPerformed(ActionEvent e)
2574             {
2575               // update Cache settings for "don't show this again"
2576               boolean showWarningAgain = !jcb.isSelected();
2577               Cache.setProperty("CHECKURLLINKS",
2578                       Boolean.valueOf(showWarningAgain).toString());
2579             }
2580           });
2581           msgPanel.add(jcb);
2582
2583           JvOptionPane.showMessageDialog(Desktop.getDesktopPane(), msgPanel,
2584                   MessageManager
2585                           .getString("label.SEQUENCE_ID_no_longer_used"),
2586                   JvOptionPane.WARNING_MESSAGE);
2587         }
2588       }
2589     });
2590   }
2591
2592   /**
2593    * Proxy class for JDesktopPane which optionally displays the current memory
2594    * usage and highlights the desktop area with a red bar if free memory runs low.
2595    *
2596    * @author AMW
2597    */
2598   public class MyDesktopPane extends JDesktopPane
2599           implements Runnable
2600   {
2601     private static final float ONE_MB = 1048576f;
2602
2603     boolean showMemoryUsage = false;
2604
2605     Runtime runtime;
2606
2607     java.text.NumberFormat df;
2608
2609     float maxMemory, allocatedMemory, freeMemory, totalFreeMemory,
2610             percentUsage;
2611
2612     public MyDesktopPane(boolean showMemoryUsage)
2613     {
2614       showMemoryUsage(showMemoryUsage);
2615     }
2616
2617     public void showMemoryUsage(boolean showMemory)
2618     {
2619       this.showMemoryUsage = showMemory;
2620       if (showMemory)
2621       {
2622         Thread worker = new Thread(this);
2623         worker.start();
2624       }
2625       repaint();
2626     }
2627
2628     public boolean isShowMemoryUsage()
2629     {
2630       return showMemoryUsage;
2631     }
2632
2633     @Override
2634     public void run()
2635     {
2636       df = java.text.NumberFormat.getNumberInstance();
2637       df.setMaximumFractionDigits(2);
2638       runtime = Runtime.getRuntime();
2639
2640       while (showMemoryUsage)
2641       {
2642         try
2643         {
2644           maxMemory = runtime.maxMemory() / ONE_MB;
2645           allocatedMemory = runtime.totalMemory() / ONE_MB;
2646           freeMemory = runtime.freeMemory() / ONE_MB;
2647           totalFreeMemory = freeMemory + (maxMemory - allocatedMemory);
2648
2649           percentUsage = (totalFreeMemory / maxMemory) * 100;
2650
2651           // if (percentUsage < 20)
2652           {
2653             // border1 = BorderFactory.createMatteBorder(12, 12, 12, 12,
2654             // Color.red);
2655             // instance.set.setBorder(border1);
2656           }
2657           repaint();
2658           // sleep after showing usage
2659           Thread.sleep(3000);
2660         } catch (Exception ex)
2661         {
2662           ex.printStackTrace();
2663         }
2664       }
2665     }
2666
2667     @Override
2668     public void paintComponent(Graphics g)
2669     {
2670       if (showMemoryUsage && g != null && df != null)
2671       {
2672         if (percentUsage < 20)
2673         {
2674           g.setColor(Color.red);
2675         }
2676         FontMetrics fm = g.getFontMetrics();
2677         if (fm != null)
2678         {
2679           g.drawString(MessageManager.formatMessage("label.memory_stats",
2680                   new Object[]
2681                   { df.format(totalFreeMemory), df.format(maxMemory),
2682                       df.format(percentUsage) }),
2683                   10, getHeight() - fm.getHeight());
2684         }
2685       }
2686     }
2687   }
2688
2689   /**
2690    * Accessor method to quickly get all the AlignmentFrames loaded.
2691    *
2692    * @return an array of AlignFrame, or null if none found
2693    */
2694   public static AlignFrame[] getAlignFrames()
2695   {
2696     if (Jalview.isHeadlessMode())
2697     {
2698       // Desktop.getDesktop() is null in headless mode
2699       return new AlignFrame[] { Jalview.getCurrentAlignFrame() };
2700     }
2701
2702     JInternalFrame[] frames = Desktop.getDesktopPane().getAllFrames();
2703
2704     if (frames == null)
2705     {
2706       return null;
2707     }
2708     List<AlignFrame> avp = new ArrayList<>();
2709     // REVERSE ORDER
2710     for (int i = frames.length - 1; i > -1; i--)
2711     {
2712       if (frames[i] instanceof AlignFrame)
2713       {
2714         avp.add((AlignFrame) frames[i]);
2715       }
2716       else if (frames[i] instanceof SplitFrame)
2717       {
2718         /*
2719          * Also check for a split frame containing an AlignFrame
2720          */
2721         GSplitFrame sf = (GSplitFrame) frames[i];
2722         if (sf.getTopFrame() instanceof AlignFrame)
2723         {
2724           avp.add((AlignFrame) sf.getTopFrame());
2725         }
2726         if (sf.getBottomFrame() instanceof AlignFrame)
2727         {
2728           avp.add((AlignFrame) sf.getBottomFrame());
2729         }
2730       }
2731     }
2732     if (avp.size() == 0)
2733     {
2734       return null;
2735     }
2736     AlignFrame afs[] = avp.toArray(new AlignFrame[avp.size()]);
2737     return afs;
2738   }
2739
2740   /**
2741    * Returns an array of any AppJmol frames in the Desktop (or null if none).
2742    *
2743    * @return
2744    */
2745   public GStructureViewer[] getJmols()
2746   {
2747     JInternalFrame[] frames = Desktop.getDesktopPane().getAllFrames();
2748
2749     if (frames == null)
2750     {
2751       return null;
2752     }
2753     List<GStructureViewer> avp = new ArrayList<>();
2754     // REVERSE ORDER
2755     for (int i = frames.length - 1; i > -1; i--)
2756     {
2757       if (frames[i] instanceof AppJmol)
2758       {
2759         GStructureViewer af = (GStructureViewer) frames[i];
2760         avp.add(af);
2761       }
2762     }
2763     if (avp.size() == 0)
2764     {
2765       return null;
2766     }
2767     GStructureViewer afs[] = avp.toArray(new GStructureViewer[avp.size()]);
2768     return afs;
2769   }
2770
2771   /**
2772    * Add Groovy Support to Jalview
2773    */
2774   @Override
2775   public void groovyShell_actionPerformed()
2776   {
2777     try
2778     {
2779       openGroovyConsole();
2780     } catch (Exception ex)
2781     {
2782       jalview.bin.Cache.log.error("Groovy Shell Creation failed.", ex);
2783       JvOptionPane.showInternalMessageDialog(Desktop.getDesktopPane(),
2784
2785               MessageManager.getString("label.couldnt_create_groovy_shell"),
2786               MessageManager.getString("label.groovy_support_failed"),
2787               JvOptionPane.ERROR_MESSAGE);
2788     }
2789   }
2790
2791   /**
2792    * Open the Groovy console
2793    */
2794   private void openGroovyConsole()
2795   {
2796     if (groovyConsole == null)
2797     {
2798       groovyConsole = new groovy.ui.Console();
2799       groovyConsole.setVariable("Jalview", this);
2800       groovyConsole.run();
2801
2802       /*
2803        * We allow only one console at a time, so that AlignFrame menu option
2804        * 'Calculate | Run Groovy script' is unambiguous.
2805        * Disable 'Groovy Console', and enable 'Run script', when the console is
2806        * opened, and the reverse when it is closed
2807        */
2808       Window window = (Window) groovyConsole.getFrame();
2809       window.addWindowListener(new WindowAdapter()
2810       {
2811         @Override
2812         public void windowClosed(WindowEvent e)
2813         {
2814           /*
2815            * rebind CMD-Q from Groovy Console to Jalview Quit
2816            */
2817           addQuitHandler();
2818           enableExecuteGroovy(false);
2819         }
2820       });
2821     }
2822
2823     /*
2824      * show Groovy console window (after close and reopen)
2825      */
2826     ((Window) groovyConsole.getFrame()).setVisible(true);
2827
2828     /*
2829      * if we got this far, enable 'Run Groovy' in AlignFrame menus
2830      * and disable opening a second console
2831      */
2832     enableExecuteGroovy(true);
2833   }
2834
2835   /**
2836    * Bind Ctrl/Cmd-Q to Quit - for reset as Groovy Console takes over this binding
2837    * when opened
2838    */
2839   protected void addQuitHandler()
2840   {
2841     getRootPane().getInputMap(JComponent.WHEN_IN_FOCUSED_WINDOW)
2842             .put(KeyStroke.getKeyStroke(KeyEvent.VK_Q,
2843                     Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()),
2844                     "Quit");
2845     getRootPane().getActionMap().put("Quit", new AbstractAction()
2846     {
2847       @Override
2848       public void actionPerformed(ActionEvent e)
2849       {
2850         quit();
2851       }
2852     });
2853   }
2854
2855   /**
2856    * Enable or disable 'Run Groovy script' in AlignFrame calculate menus
2857    *
2858    * @param enabled
2859    *          true if Groovy console is open
2860    */
2861   public void enableExecuteGroovy(boolean enabled)
2862   {
2863     /*
2864      * disable opening a second Groovy console
2865      * (or re-enable when the console is closed)
2866      */
2867     groovyShell.setEnabled(!enabled);
2868
2869     AlignFrame[] alignFrames = getAlignFrames();
2870     if (alignFrames != null)
2871     {
2872       for (AlignFrame af : alignFrames)
2873       {
2874         af.setGroovyEnabled(enabled);
2875       }
2876     }
2877   }
2878
2879   /**
2880    * Progress bars managed by the IProgressIndicator method.
2881    */
2882   private Hashtable<Long, JPanel> progressBars;
2883
2884   private Hashtable<Long, IProgressIndicatorHandler> progressBarHandlers;
2885
2886   /*
2887    * (non-Javadoc)
2888    *
2889    * @see jalview.gui.IProgressIndicator#setProgressBar(java.lang.String, long)
2890    */
2891   @Override
2892   public void setProgressBar(String message, long id)
2893   {
2894             Platform.timeCheck("Desktop " + message, Platform.TIME_MARK);
2895
2896     if (progressBars == null)
2897     {
2898       progressBars = new Hashtable<>();
2899       progressBarHandlers = new Hashtable<>();
2900     }
2901
2902     if (progressBars.get(new Long(id)) != null)
2903     {
2904       JPanel panel = progressBars.remove(new Long(id));
2905       if (progressBarHandlers.contains(new Long(id)))
2906       {
2907         progressBarHandlers.remove(new Long(id));
2908       }
2909       removeProgressPanel(panel);
2910     }
2911     else
2912     {
2913       progressBars.put(new Long(id), addProgressPanel(message));
2914     }
2915   }
2916
2917   /*
2918    * (non-Javadoc)
2919    *
2920    * @see jalview.gui.IProgressIndicator#registerHandler(long,
2921    * jalview.gui.IProgressIndicatorHandler)
2922    */
2923   @Override
2924   public void registerHandler(final long id,
2925           final IProgressIndicatorHandler handler)
2926   {
2927     if (progressBarHandlers == null
2928             || !progressBars.containsKey(new Long(id)))
2929     {
2930       throw new Error(MessageManager.getString(
2931               "error.call_setprogressbar_before_registering_handler"));
2932     }
2933     progressBarHandlers.put(new Long(id), handler);
2934     final JPanel progressPanel = progressBars.get(new Long(id));
2935     if (handler.canCancel())
2936     {
2937       JButton cancel = new JButton(
2938               MessageManager.getString("action.cancel"));
2939       final IProgressIndicator us = this;
2940       cancel.addActionListener(new ActionListener()
2941       {
2942
2943         @Override
2944         public void actionPerformed(ActionEvent e)
2945         {
2946           handler.cancelActivity(id);
2947           us.setProgressBar(MessageManager
2948                   .formatMessage("label.cancelled_params", new Object[]
2949                   { ((JLabel) progressPanel.getComponent(0)).getText() }),
2950                   id);
2951         }
2952       });
2953       progressPanel.add(cancel, BorderLayout.EAST);
2954     }
2955   }
2956
2957   /**
2958    *
2959    * @return true if any progress bars are still active
2960    */
2961   @Override
2962   public boolean operationInProgress()
2963   {
2964     if (progressBars != null && progressBars.size() > 0)
2965     {
2966       return true;
2967     }
2968     return false;
2969   }
2970
2971   /**
2972    * This will return the first AlignFrame holding the given viewport instance. It
2973    * will break if there are more than one AlignFrames viewing a particular av.
2974    *
2975    * @param viewport
2976    * @return alignFrame for viewport
2977    */
2978   public static AlignFrame getAlignFrameFor(AlignViewportI viewport)
2979   {
2980     if (getDesktopPane() != null)
2981     {
2982       AlignmentPanel[] aps = getAlignmentPanels(
2983               viewport.getSequenceSetId());
2984       for (int panel = 0; aps != null && panel < aps.length; panel++)
2985       {
2986         if (aps[panel] != null && aps[panel].av == viewport)
2987         {
2988           return aps[panel].alignFrame;
2989         }
2990       }
2991     }
2992     return null;
2993   }
2994
2995   public VamsasApplication getVamsasApplication()
2996   {
2997     return v_client;
2998
2999   }
3000
3001   /**
3002    * flag set if jalview GUI is being operated programmatically
3003    */
3004   private boolean inBatchMode = false;
3005
3006   /**
3007    * check if jalview GUI is being operated programmatically
3008    *
3009    * @return inBatchMode
3010    */
3011   public boolean isInBatchMode()
3012   {
3013     return inBatchMode;
3014   }
3015
3016   /**
3017    * set flag if jalview GUI is being operated programmatically
3018    *
3019    * @param inBatchMode
3020    */
3021   public void setInBatchMode(boolean inBatchMode)
3022   {
3023     this.inBatchMode = inBatchMode;
3024   }
3025
3026   public void startServiceDiscovery()
3027   {
3028     startServiceDiscovery(false);
3029   }
3030
3031   public void startServiceDiscovery(boolean blocking)
3032   {
3033     boolean alive = true;
3034     Thread t0 = null, t1 = null, t2 = null;
3035     // JAL-940 - JALVIEW 1 services are now being EOLed as of JABA 2.1 release
3036     if (true)
3037     {
3038       // todo: changesupport handlers need to be transferred
3039       if (discoverer == null)
3040       {
3041         discoverer = new jalview.ws.jws1.Discoverer();
3042         // register PCS handler for getDesktop().
3043         discoverer.addPropertyChangeListener(changeSupport);
3044       }
3045       // JAL-940 - disabled JWS1 service configuration - always start discoverer
3046       // until we phase out completely
3047       (t0 = new Thread(discoverer)).start();
3048     }
3049
3050     if (Cache.getDefault("SHOW_JWS2_SERVICES", true))
3051     {
3052       t2 = jalview.ws.jws2.Jws2Discoverer.getDiscoverer()
3053               .startDiscoverer(changeSupport);
3054     }
3055     Thread t3 = null;
3056     {
3057       // TODO: do rest service discovery
3058     }
3059     if (blocking)
3060     {
3061       while (alive)
3062       {
3063         try
3064         {
3065           Thread.sleep(15);
3066         } catch (Exception e)
3067         {
3068         }
3069         alive = (t1 != null && t1.isAlive()) || (t2 != null && t2.isAlive())
3070                 || (t3 != null && t3.isAlive())
3071                 || (t0 != null && t0.isAlive());
3072       }
3073     }
3074   }
3075
3076   /**
3077    * called to check if the service discovery process completed successfully.
3078    *
3079    * @param evt
3080    */
3081   protected void JalviewServicesChanged(PropertyChangeEvent evt)
3082   {
3083     if (evt.getNewValue() == null || evt.getNewValue() instanceof Vector)
3084     {
3085       final String ermsg = jalview.ws.jws2.Jws2Discoverer.getDiscoverer()
3086               .getErrorMessages();
3087       if (ermsg != null)
3088       {
3089         if (Cache.getDefault("SHOW_WSDISCOVERY_ERRORS", true))
3090         {
3091           if (serviceChangedDialog == null)
3092           {
3093             // only run if we aren't already displaying one of these.
3094             addDialogThread(serviceChangedDialog = new Runnable()
3095             {
3096               @Override
3097               public void run()
3098               {
3099
3100                 /*
3101                  * JalviewDialog jd =new JalviewDialog() {
3102                  *
3103                  * @Override protected void cancelPressed() { // TODO
3104                  * Auto-generated method stub
3105                  *
3106                  * }@Override protected void okPressed() { // TODO
3107                  * Auto-generated method stub
3108                  *
3109                  * }@Override protected void raiseClosed() { // TODO
3110                  * Auto-generated method stub
3111                  *
3112                  * } }; jd.initDialogFrame(new
3113                  * JLabel("<html><table width=\"450\"><tr><td>" + ermsg +
3114                  * "<br/>It may be that you have invalid JABA URLs in your web service preferences,"
3115                  * + " or mis-configured HTTP proxy settings.<br/>" +
3116                  * "Check the <em>Connections</em> and <em>Web services</em> tab of the"
3117                  * +
3118                  * " Tools->Preferences dialog box to change them.</td></tr></table></html>"
3119                  * ), true, true, "Web Service Configuration Problem", 450,
3120                  * 400);
3121                  *
3122                  * jd.waitForInput();
3123                  */
3124                 JvOptionPane.showConfirmDialog(Desktop.getDesktopPane(),
3125                         new JLabel("<html><table width=\"450\"><tr><td>"
3126                                 + ermsg + "</td></tr></table>"
3127                                 + "<p>It may be that you have invalid JABA URLs<br/>in your web service preferences,"
3128                                 + "<br>or as a command-line argument, or mis-configured HTTP proxy settings.</p>"
3129                                 + "<p>Check the <em>Connections</em> and <em>Web services</em> tab<br/>of the"
3130                                 + " Tools->Preferences dialog box to change them.</p></html>"),
3131                         "Web Service Configuration Problem",
3132                         JvOptionPane.DEFAULT_OPTION,
3133                         JvOptionPane.ERROR_MESSAGE);
3134                 serviceChangedDialog = null;
3135
3136               }
3137             });
3138           }
3139         }
3140         else
3141         {
3142           Cache.log.error(
3143                   "Errors reported by JABA discovery service. Check web services preferences.\n"
3144                           + ermsg);
3145         }
3146       }
3147     }
3148   }
3149
3150   Runnable serviceChangedDialog = null;
3151
3152   /**
3153    * start a thread to open a URL in the configured browser. Pops up a warning
3154    * dialog to the user if there is an exception when calling out to the browser
3155    * to open the URL.
3156    *
3157    * @param url
3158    */
3159   public static void showUrl(final String url)
3160   {
3161     showUrl(url, Desktop.getInstance());
3162   }
3163
3164   /**
3165    * Like showUrl but allows progress handler to be specified
3166    *
3167    * @param url
3168    * @param progress
3169    *          (null) or object implementing IProgressIndicator
3170    */
3171   public static void showUrl(final String url,
3172           final IProgressIndicator progress)
3173   {
3174     new Thread(new Runnable()
3175     {
3176       @Override
3177       public void run()
3178       {
3179         try
3180         {
3181           if (progress != null)
3182           {
3183             progress.setProgressBar(MessageManager
3184                     .formatMessage("status.opening_params", new Object[]
3185                     { url }), this.hashCode());
3186           }
3187           BrowserLauncher.openURL(url);
3188         } catch (Exception ex)
3189         {
3190           JvOptionPane.showInternalMessageDialog(Desktop.getDesktopPane(),
3191                   MessageManager
3192                           .getString("label.web_browser_not_found_unix"),
3193                   MessageManager.getString("label.web_browser_not_found"),
3194                   JvOptionPane.WARNING_MESSAGE);
3195
3196           ex.printStackTrace();
3197         }
3198         if (progress != null)
3199         {
3200           progress.setProgressBar(null, this.hashCode());
3201         }
3202       }
3203     }).start();
3204   }
3205
3206   private WsParamSetManager wsparamManager = null;
3207
3208   public static ParamManager getUserParameterStore()
3209   {
3210     Desktop d = getInstance();
3211     if (d.wsparamManager == null)
3212     {
3213       d.wsparamManager = new WsParamSetManager();
3214     }
3215     return d.wsparamManager;
3216   }
3217
3218   /**
3219    * static hyperlink handler proxy method for use by Jalview's internal windows
3220    *
3221    * @param e
3222    */
3223   public static void hyperlinkUpdate(HyperlinkEvent e)
3224   {
3225     if (e.getEventType() == EventType.ACTIVATED)
3226     {
3227       String url = null;
3228       try
3229       {
3230         url = e.getURL().toString();
3231         Desktop.showUrl(url);
3232       } catch (Exception x)
3233       {
3234         if (url != null)
3235         {
3236           if (Cache.log != null)
3237           {
3238             Cache.log.error("Couldn't handle string " + url + " as a URL.");
3239           }
3240           else
3241           {
3242             System.err.println(
3243                     "Couldn't handle string " + url + " as a URL.");
3244           }
3245         }
3246         // ignore any exceptions due to dud links.
3247       }
3248
3249     }
3250   }
3251
3252   /**
3253    * single thread that handles display of dialogs to user.
3254    */
3255   ExecutorService dialogExecutor = Executors.newSingleThreadExecutor();
3256
3257   /**
3258    * flag indicating if dialogExecutor should try to acquire a permit
3259    */
3260   volatile boolean dialogPause = true;
3261
3262   /**
3263    * pause the queue
3264    */
3265   java.util.concurrent.Semaphore block = new Semaphore(0);
3266
3267   private groovy.ui.Console groovyConsole;
3268
3269   public StructureViewer lastTargetedView;
3270
3271   /**
3272    * add another dialog thread to the queue
3273    *
3274    * @param prompter
3275    */
3276   public void addDialogThread(final Runnable prompter)
3277   {
3278     dialogExecutor.submit(new Runnable()
3279     {
3280       @Override
3281       public void run()
3282       {
3283         if (dialogPause)
3284         {
3285           try
3286           {
3287             block.acquire();
3288           } catch (InterruptedException x)
3289           {
3290           }
3291           ;
3292         }
3293         if (instanceOnly)
3294         {
3295           return;
3296         }
3297         try
3298         {
3299           SwingUtilities.invokeAndWait(prompter);
3300         } catch (Exception q)
3301         {
3302           Cache.log.warn("Unexpected Exception in dialog thread.", q);
3303         }
3304       }
3305     });
3306   }
3307
3308   public void startDialogQueue()
3309   {
3310     // set the flag so we don't pause waiting for another permit and semaphore
3311     // the current task to begin
3312     dialogPause = false;
3313     block.release();
3314   }
3315
3316   /**
3317    * Outputs an image of the desktop to file in EPS format, after prompting the
3318    * user for choice of Text or Lineart character rendering (unless a preference
3319    * has been set). The file name is generated as
3320    *
3321    * <pre>
3322    * Jalview_snapshot_nnnnn.eps where nnnnn is the current timestamp in milliseconds
3323    * </pre>
3324    */
3325   @Override
3326   protected void snapShotWindow_actionPerformed(ActionEvent e)
3327   {
3328     // currently the menu option to do this is not shown
3329     invalidate();
3330
3331     int width = getWidth();
3332     int height = getHeight();
3333     File of = new File(
3334             "Jalview_snapshot_" + System.currentTimeMillis() + ".eps");
3335     ImageWriterI writer = new ImageWriterI()
3336     {
3337       @Override
3338       public void exportImage(Graphics g) throws Exception
3339       {
3340         paintAll(g);
3341         Cache.log.info("Successfully written snapshot to file "
3342                 + of.getAbsolutePath());
3343       }
3344     };
3345     String title = "View of desktop";
3346     ImageExporter exporter = new ImageExporter(writer, null, TYPE.EPS,
3347             title);
3348     exporter.doExport(of, this, width, height, title);
3349   }
3350
3351   /**
3352    * Explode the views in the given SplitFrame into separate SplitFrame windows.
3353    * This respects (remembers) any previous 'exploded geometry' i.e. the size and
3354    * location last time the view was expanded (if any). However it does not
3355    * remember the split pane divider location - this is set to match the
3356    * 'exploding' frame.
3357    *
3358    * @param sf
3359    */
3360   public void explodeViews(SplitFrame sf)
3361   {
3362     AlignFrame oldTopFrame = (AlignFrame) sf.getTopFrame();
3363     AlignFrame oldBottomFrame = (AlignFrame) sf.getBottomFrame();
3364     List<? extends AlignmentViewPanel> topPanels = oldTopFrame
3365             .getAlignPanels();
3366     List<? extends AlignmentViewPanel> bottomPanels = oldBottomFrame
3367             .getAlignPanels();
3368     int viewCount = topPanels.size();
3369     if (viewCount < 2)
3370     {
3371       return;
3372     }
3373
3374     /*
3375      * Processing in reverse order works, forwards order leaves the first panels
3376      * not visible. I don't know why!
3377      */
3378     for (int i = viewCount - 1; i >= 0; i--)
3379     {
3380       /*
3381        * Make new top and bottom frames. These take over the respective
3382        * AlignmentPanel objects, including their AlignmentViewports, so the
3383        * cdna/protein relationships between the viewports is carried over to the
3384        * new split frames.
3385        *
3386        * explodedGeometry holds the (x, y) position of the previously exploded
3387        * SplitFrame, and the (width, height) of the AlignFrame component
3388        */
3389       AlignmentPanel topPanel = (AlignmentPanel) topPanels.get(i);
3390       AlignFrame newTopFrame = new AlignFrame(topPanel);
3391       newTopFrame.setSize(oldTopFrame.getSize());
3392       newTopFrame.setVisible(true);
3393       Rectangle geometry = ((AlignViewport) topPanel.getAlignViewport())
3394               .getExplodedGeometry();
3395       if (geometry != null)
3396       {
3397         newTopFrame.setSize(geometry.getSize());
3398       }
3399
3400       AlignmentPanel bottomPanel = (AlignmentPanel) bottomPanels.get(i);
3401       AlignFrame newBottomFrame = new AlignFrame(bottomPanel);
3402       newBottomFrame.setSize(oldBottomFrame.getSize());
3403       newBottomFrame.setVisible(true);
3404       geometry = ((AlignViewport) bottomPanel.getAlignViewport())
3405               .getExplodedGeometry();
3406       if (geometry != null)
3407       {
3408         newBottomFrame.setSize(geometry.getSize());
3409       }
3410
3411       topPanel.av.setGatherViewsHere(false);
3412       bottomPanel.av.setGatherViewsHere(false);
3413       JInternalFrame splitFrame = new SplitFrame(newTopFrame,
3414               newBottomFrame);
3415       if (geometry != null)
3416       {
3417         splitFrame.setLocation(geometry.getLocation());
3418       }
3419       Desktop.addInternalFrame(splitFrame, sf.getTitle(), -1, -1);
3420     }
3421
3422     /*
3423      * Clear references to the panels (now relocated in the new SplitFrames)
3424      * before closing the old SplitFrame.
3425      */
3426     topPanels.clear();
3427     bottomPanels.clear();
3428     sf.close();
3429   }
3430
3431   /**
3432    * Gather expanded split frames, sharing the same pairs of sequence set ids,
3433    * back into the given SplitFrame as additional views. Note that the gathered
3434    * frames may themselves have multiple views.
3435    *
3436    * @param source
3437    */
3438   public void gatherViews(GSplitFrame source)
3439   {
3440     /*
3441      * special handling of explodedGeometry for a view within a SplitFrame: - it
3442      * holds the (x, y) position of the enclosing SplitFrame, and the (width,
3443      * height) of the AlignFrame component
3444      */
3445     AlignFrame myTopFrame = (AlignFrame) source.getTopFrame();
3446     AlignFrame myBottomFrame = (AlignFrame) source.getBottomFrame();
3447     myTopFrame.viewport.setExplodedGeometry(new Rectangle(source.getX(),
3448             source.getY(), myTopFrame.getWidth(), myTopFrame.getHeight()));
3449     myBottomFrame.viewport
3450             .setExplodedGeometry(new Rectangle(source.getX(), source.getY(),
3451                     myBottomFrame.getWidth(), myBottomFrame.getHeight()));
3452     myTopFrame.viewport.setGatherViewsHere(true);
3453     myBottomFrame.viewport.setGatherViewsHere(true);
3454     String topViewId = myTopFrame.viewport.getSequenceSetId();
3455     String bottomViewId = myBottomFrame.viewport.getSequenceSetId();
3456
3457     JInternalFrame[] frames = getDesktopPane().getAllFrames();
3458     for (JInternalFrame frame : frames)
3459     {
3460       if (frame instanceof SplitFrame && frame != source)
3461       {
3462         SplitFrame sf = (SplitFrame) frame;
3463         AlignFrame topFrame = (AlignFrame) sf.getTopFrame();
3464         AlignFrame bottomFrame = (AlignFrame) sf.getBottomFrame();
3465         boolean gatherThis = false;
3466         for (int a = 0; a < topFrame.alignPanels.size(); a++)
3467         {
3468           AlignmentPanel topPanel = topFrame.alignPanels.get(a);
3469           AlignmentPanel bottomPanel = bottomFrame.alignPanels.get(a);
3470           if (topViewId.equals(topPanel.av.getSequenceSetId())
3471                   && bottomViewId.equals(bottomPanel.av.getSequenceSetId()))
3472           {
3473             gatherThis = true;
3474             topPanel.av.setGatherViewsHere(false);
3475             bottomPanel.av.setGatherViewsHere(false);
3476             topPanel.av.setExplodedGeometry(
3477                     new Rectangle(sf.getLocation(), topFrame.getSize()));
3478             bottomPanel.av.setExplodedGeometry(
3479                     new Rectangle(sf.getLocation(), bottomFrame.getSize()));
3480             myTopFrame.addAlignmentPanel(topPanel, false);
3481             myBottomFrame.addAlignmentPanel(bottomPanel, false);
3482           }
3483         }
3484
3485         if (gatherThis)
3486         {
3487           topFrame.getAlignPanels().clear();
3488           bottomFrame.getAlignPanels().clear();
3489           sf.close();
3490         }
3491       }
3492     }
3493
3494     /*
3495      * The dust settles...give focus to the tab we did this from.
3496      */
3497     myTopFrame.setDisplayedView(myTopFrame.alignPanel);
3498   }
3499
3500   public static groovy.ui.Console getGroovyConsole()
3501   {
3502     return getInstance().groovyConsole;
3503   }
3504
3505   /**
3506    * handles the payload of a drag and drop event.
3507    *
3508    * TODO refactor to desktop utilities class
3509    *
3510    * @param files
3511    *          - Data source strings extracted from the drop event
3512    * @param protocols
3513    *          - protocol for each data source extracted from the drop event
3514    * @param evt
3515    *          - the drop event
3516    * @param t
3517    *          - the payload from the drop event
3518    * @throws Exception
3519    */
3520   @SuppressWarnings("unchecked")
3521   public static void transferFromDropTarget(List<Object> files,
3522           List<DataSourceType> protocols, DropTargetDropEvent evt,
3523           Transferable t) throws Exception
3524   {
3525
3526     // BH 2018 changed List<String> to List<Object> to allow for File from SwingJS
3527
3528     // DataFlavor[] flavors = t.getTransferDataFlavors();
3529     // for (int i = 0; i < flavors.length; i++) {
3530     // if (flavors[i].isFlavorJavaFileListType()) {
3531     // evt.acceptDrop(DnDConstants.ACTION_COPY_OR_MOVE);
3532     // List<File> list = (List<File>) t.getTransferData(flavors[i]);
3533     // for (int j = 0; j < list.size(); j++) {
3534     // File file = (File) list.get(j);
3535     // byte[] data = getDroppedFileBytes(file);
3536     // fileName.setText(file.getName() + " - " + data.length + " " +
3537     // evt.getLocation());
3538     // JTextArea target = (JTextArea) ((DropTarget) evt.getSource()).getComponent();
3539     // target.setText(new String(data));
3540     // }
3541     // dtde.dropComplete(true);
3542     // return;
3543     // }
3544     //
3545
3546     DataFlavor uriListFlavor = new DataFlavor(
3547             "text/uri-list;class=java.lang.String"), urlFlavour = null;
3548     try
3549     {
3550       urlFlavour = new DataFlavor(
3551               "application/x-java-url; class=java.net.URL");
3552     } catch (ClassNotFoundException cfe)
3553     {
3554       Cache.log.debug("Couldn't instantiate the URL dataflavor.", cfe);
3555     }
3556
3557     if (urlFlavour != null && t.isDataFlavorSupported(urlFlavour))
3558     {
3559
3560       try
3561       {
3562         java.net.URL url = (URL) t.getTransferData(urlFlavour);
3563         // nb: java 8 osx bug https://bugs.openjdk.java.net/browse/JDK-8156099
3564         // means url may be null.
3565         if (url != null)
3566         {
3567           protocols.add(DataSourceType.URL);
3568           files.add(url.toString());
3569           Cache.log.debug("Drop handled as URL dataflavor "
3570                   + files.get(files.size() - 1));
3571           return;
3572         }
3573         else
3574         {
3575           if (Platform.isAMacAndNotJS())
3576           {
3577             System.err.println(
3578                     "Please ignore plist error - occurs due to problem with java 8 on OSX");
3579           }
3580           ;
3581         }
3582       } catch (Throwable ex)
3583       {
3584         Cache.log.debug("URL drop handler failed.", ex);
3585       }
3586     }
3587     if (t.isDataFlavorSupported(DataFlavor.javaFileListFlavor))
3588     {
3589       // Works on Windows and MacOSX
3590       Cache.log.debug("Drop handled as javaFileListFlavor");
3591       for (Object file : (List<Object>) t
3592               .getTransferData(DataFlavor.javaFileListFlavor))
3593       {
3594         files.add(file);
3595         protocols.add(DataSourceType.FILE);
3596       }
3597     }
3598     else
3599     {
3600       // Unix like behaviour
3601       boolean added = false;
3602       String data = null;
3603       if (t.isDataFlavorSupported(uriListFlavor))
3604       {
3605         Cache.log.debug("Drop handled as uriListFlavor");
3606         // This is used by Unix drag system
3607         data = (String) t.getTransferData(uriListFlavor);
3608       }
3609       if (data == null)
3610       {
3611         // fallback to text: workaround - on OSX where there's a JVM bug
3612         Cache.log.debug("standard URIListFlavor failed. Trying text");
3613         // try text fallback
3614         DataFlavor textDf = new DataFlavor(
3615                 "text/plain;class=java.lang.String");
3616         if (t.isDataFlavorSupported(textDf))
3617         {
3618           data = (String) t.getTransferData(textDf);
3619         }
3620
3621         Cache.log.debug("Plain text drop content returned "
3622                 + (data == null ? "Null - failed" : data));
3623
3624       }
3625       if (data != null)
3626       {
3627         while (protocols.size() < files.size())
3628         {
3629           Cache.log.debug("Adding missing FILE protocol for "
3630                   + files.get(protocols.size()));
3631           protocols.add(DataSourceType.FILE);
3632         }
3633         for (java.util.StringTokenizer st = new java.util.StringTokenizer(
3634                 data, "\r\n"); st.hasMoreTokens();)
3635         {
3636           added = true;
3637           String s = st.nextToken();
3638           if (s.startsWith("#"))
3639           {
3640             // the line is a comment (as per the RFC 2483)
3641             continue;
3642           }
3643           java.net.URI uri = new java.net.URI(s);
3644           if (uri.getScheme().toLowerCase().startsWith("http"))
3645           {
3646             protocols.add(DataSourceType.URL);
3647             files.add(uri.toString());
3648           }
3649           else
3650           {
3651             // otherwise preserve old behaviour: catch all for file objects
3652             java.io.File file = new java.io.File(uri);
3653             protocols.add(DataSourceType.FILE);
3654             files.add(file.toString());
3655           }
3656         }
3657       }
3658
3659       if (Cache.log.isDebugEnabled())
3660       {
3661         if (data == null || !added)
3662         {
3663
3664           if (t.getTransferDataFlavors() != null
3665                   && t.getTransferDataFlavors().length > 0)
3666           {
3667             Cache.log.debug(
3668                     "Couldn't resolve drop data. Here are the supported flavors:");
3669             for (DataFlavor fl : t.getTransferDataFlavors())
3670             {
3671               Cache.log.debug(
3672                       "Supported transfer dataflavor: " + fl.toString());
3673               Object df = t.getTransferData(fl);
3674               if (df != null)
3675               {
3676                 Cache.log.debug("Retrieves: " + df);
3677               }
3678               else
3679               {
3680                 Cache.log.debug("Retrieved nothing");
3681               }
3682             }
3683           }
3684           else
3685           {
3686             Cache.log.debug("Couldn't resolve dataflavor for drop: "
3687                     + t.toString());
3688           }
3689         }
3690       }
3691     }
3692     if (Platform.isWindowsAndNotJS())
3693     {
3694       Cache.log.debug("Scanning dropped content for Windows Link Files");
3695
3696       // resolve any .lnk files in the file drop
3697       for (int f = 0; f < files.size(); f++)
3698       {
3699         String source = files.get(f).toString().toLowerCase();
3700         if (protocols.get(f).equals(DataSourceType.FILE)
3701                 && (source.endsWith(".lnk") || source.endsWith(".url")
3702                         || source.endsWith(".site")))
3703         {
3704           try
3705           {
3706             Object obj = files.get(f);
3707             File lf = (obj instanceof File ? (File) obj
3708                     : new File((String) obj));
3709             // process link file to get a URL
3710             Cache.log.debug("Found potential link file: " + lf);
3711             WindowsShortcut wscfile = new WindowsShortcut(lf);
3712             String fullname = wscfile.getRealFilename();
3713             protocols.set(f, FormatAdapter.checkProtocol(fullname));
3714             files.set(f, fullname);
3715             Cache.log.debug("Parsed real filename " + fullname
3716                     + " to extract protocol: " + protocols.get(f));
3717           } catch (Exception ex)
3718           {
3719             Cache.log.error(
3720                     "Couldn't parse " + files.get(f) + " as a link file.",
3721                     ex);
3722           }
3723         }
3724       }
3725     }
3726   }
3727
3728   /**
3729    * Sets the Preferences property for experimental features to True or False
3730    * depending on the state of the controlling menu item
3731    */
3732   @Override
3733   protected void showExperimental_actionPerformed(boolean selected)
3734   {
3735     Cache.setProperty(EXPERIMENTAL_FEATURES, Boolean.toString(selected));
3736   }
3737
3738   /**
3739    * Answers a (possibly empty) list of any structure viewer frames (currently for
3740    * either Jmol or Chimera) which are currently open. This may optionally be
3741    * restricted to viewers of a specified class, or viewers linked to a specified
3742    * alignment panel.
3743    *
3744    * @param apanel
3745    *          if not null, only return viewers linked to this panel
3746    * @param structureViewerClass
3747    *          if not null, only return viewers of this class
3748    * @return
3749    */
3750   public List<StructureViewerBase> getStructureViewers(
3751           AlignmentPanel apanel,
3752           Class<? extends StructureViewerBase> structureViewerClass)
3753   {
3754     List<StructureViewerBase> result = new ArrayList<>();
3755     JInternalFrame[] frames = Desktop.getInstance().getAllFrames();
3756
3757     for (JInternalFrame frame : frames)
3758     {
3759       if (frame instanceof StructureViewerBase)
3760       {
3761         if (structureViewerClass == null
3762                 || structureViewerClass.isInstance(frame))
3763         {
3764           if (apanel == null
3765                   || ((StructureViewerBase) frame).isLinkedWith(apanel))
3766           {
3767             result.add((StructureViewerBase) frame);
3768           }
3769         }
3770       }
3771     }
3772     return result;
3773   }
3774
3775 }