X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FFontChooser.java;fp=src%2Fjalview%2Fgui%2FFontChooser.java;h=2d9682be6a8a23801f212c12015c5910b66c817f;hb=586ade46bdcd05ff028a1cff82c3c527326d28ec;hp=92cc4c61529d81f2ad1c691d37d1347e058dfb4e;hpb=adcef27f5747b4e70e89a56c3735bc3afb8ce9bf;p=jalview.git diff --git a/src/jalview/gui/FontChooser.java b/src/jalview/gui/FontChooser.java index 92cc4c6..2d9682b 100755 --- a/src/jalview/gui/FontChooser.java +++ b/src/jalview/gui/FontChooser.java @@ -137,14 +137,14 @@ public class FontChooser extends GFontChooser if (isTreeFont()) { Desktop.addInternalFrame(frame, - MessageManager.getString("action.change_font_tree_panel"), - 400, 200, false); + MessageManager.getString("action.change_font_tree_panel"), Desktop.FRAME_MAKE_VISIBLE, + 400, 200, Desktop.FRAME_NOT_RESIZABLE, Desktop.FRAME_SET_MIN_SIZE_300); } else { Desktop.addInternalFrame(frame, - MessageManager.getString("action.change_font"), 380, 220, - false); + MessageManager.getString("action.change_font"), Desktop.FRAME_MAKE_VISIBLE, 380, 220, + Desktop.FRAME_NOT_RESIZABLE, Desktop.FRAME_SET_MIN_SIZE_300); } frame.setLayer(JLayeredPane.PALETTE_LAYER);