X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FJDatabaseTree.java;h=327eade5cdfe01d7768100ec9e3eeab0b081e4e0;hb=c37fb5cae97611681f63725287a7109e7be77a60;hp=8d62433d5bab9b4d1d7c6c3b0136d9fa8b0617df;hpb=b483c2012e40cab4b38f650dc049c94efe7e27c2;p=jalview.git diff --git a/src/jalview/gui/JDatabaseTree.java b/src/jalview/gui/JDatabaseTree.java index 8d62433..327eade 100644 --- a/src/jalview/gui/JDatabaseTree.java +++ b/src/jalview/gui/JDatabaseTree.java @@ -20,6 +20,8 @@ */ package jalview.gui; +import java.util.Locale; + import jalview.util.MessageManager; import jalview.ws.seqfetcher.DbSourceProxy; @@ -227,11 +229,12 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener if (child.getUserObject() instanceof DbSourceProxy) { names[i] = ((DbSourceProxy) child.getUserObject()).getDbName() - .toLowerCase(); + .toLowerCase(Locale.ROOT); } else { - names[i] = ((String) child.getUserObject()).toLowerCase(); + names[i] = ((String) child.getUserObject()) + .toLowerCase(Locale.ROOT); sortTreeNodes(child); } } @@ -516,7 +519,6 @@ public class JDatabaseTree extends JalviewDialog implements KeyListener lstners.remove(actionListener); } - @Override public void keyPressed(KeyEvent arg0) {