adds Desktop name jalview-desktop;
authorhansonr <hansonr@STO24954W.ad.stolaf.edu>
Sun, 31 Mar 2019 17:19:30 +0000 (12:19 -0500)
committerhansonr <hansonr@STO24954W.ad.stolaf.edu>
Sun, 31 Mar 2019 17:19:30 +0000 (12:19 -0500)
src/jalview/jbgui/GDesktop.java

index b6408b8..315c2f7 100755 (executable)
@@ -42,6 +42,7 @@ import javax.swing.JMenuItem;
  * @author $author$
  * @version $Revision$
  */
+@SuppressWarnings("serial")
 public class GDesktop extends JFrame
 {
 
@@ -168,7 +169,7 @@ public class GDesktop extends JFrame
    */
   private void jbInit() throws Exception
   {
-
+    setName("jalview-desktop");
     FileMenu.setText(MessageManager.getString("action.file"));
     HelpMenu.setText(MessageManager.getString("action.help"));
     VamsasMenu.setText("Vamsas");