X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FConsole.java;h=050523e526edf8bf6708fa98edbe0209c3721bd6;hb=ca230f771b6fee4c20ec089de88b759e4c5e1c48;hp=b456025194dd4e2ba7ee796fe1c31bcb368271b3;hpb=5f14ca65f127ffbe8ca3c043ac46730fe5a00423;p=jalview.git diff --git a/src/jalview/gui/Console.java b/src/jalview/gui/Console.java index b456025..050523e 100644 --- a/src/jalview/gui/Console.java +++ b/src/jalview/gui/Console.java @@ -54,6 +54,7 @@ import org.apache.log4j.Level; import org.apache.log4j.SimpleLayout; import jalview.bin.Cache; +import jalview.util.ChannelProperties; import jalview.util.MessageManager; /** @@ -255,6 +256,9 @@ public class Console extends WindowAdapter textAppender = new Thread(this); textAppender.setDaemon(true); textAppender.start(); + + // set icons + frame.setIconImages(ChannelProperties.getIconList()); } private void setChosenLogLevelCombo() @@ -453,13 +457,16 @@ public class Console extends WindowAdapter Rectangle bounds = desktop.getLastKnownDimensions("JAVA_CONSOLE_"); if (bounds == null) { - frame = initFrame("Jalview Java Console", desktop.getWidth() / 2, - desktop.getHeight() / 4, desktop.getX(), desktop.getY()); + frame = initFrame( + ChannelProperties.getProperty("app_name") + " Java Console", + desktop.getWidth() / 2, desktop.getHeight() / 4, + desktop.getX(), desktop.getY()); } else { - frame = initFrame("Jalview Java Console", bounds.width, bounds.height, - bounds.x, bounds.y); + frame = initFrame( + ChannelProperties.getProperty("app_name") + " Java Console", + bounds.width, bounds.height, bounds.x, bounds.y); } frame.setMinimumSize(new Dimension(MIN_WIDTH, MIN_HEIGHT)); // desktop.add(frame);