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