From: hansonr <hansonr@STO24954W.ad.stolaf.edu>
Date: Sun, 31 Mar 2019 17:19:30 +0000 (-0500)
Subject: adds Desktop name jalview-desktop;
X-Git-Tag: Release_2_11_4_0~45^2~18^2~194
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=92b70c9562a551d2141201df5c40fe0de972173c;p=jalview.git

adds Desktop name jalview-desktop;
---

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index b6408b8..315c2f7 100755
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -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");