X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGTreePanel.java;fp=src%2Fjalview%2Fjbgui%2FGTreePanel.java;h=3aff0e0c85582d9d8ce78107747dab4dbf55754b;hb=586ade46bdcd05ff028a1cff82c3c527326d28ec;hp=d184e76f388f4c9d612c6f7434d5a46e49307e36;hpb=adcef27f5747b4e70e89a56c3735bc3afb8ce9bf;p=jalview.git diff --git a/src/jalview/jbgui/GTreePanel.java b/src/jalview/jbgui/GTreePanel.java index d184e76..3aff0e0 100755 --- a/src/jalview/jbgui/GTreePanel.java +++ b/src/jalview/jbgui/GTreePanel.java @@ -22,6 +22,7 @@ package jalview.jbgui; import jalview.util.ImageMaker.TYPE; import jalview.util.MessageManager; +import jalview.util.Platform; import java.awt.BorderLayout; import java.awt.Color; @@ -92,7 +93,7 @@ public class GTreePanel extends JInternalFrame private void jbInit() throws Exception { - setName("jalview-tree"); + setName(Platform.getAppID("tree")); this.getContentPane().setLayout(borderLayout1); this.setBackground(Color.white); this.setFont(new java.awt.Font("Verdana", 0, 12));