From: Jim Procter Date: Tue, 27 May 2014 14:59:45 +0000 (+0100) Subject: JAL-1508 make default font size 11pt for embedded menus. workaround - not a fix X-Git-Tag: Release_2_8_1~4^2~8^2~3 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e83311d25dc8fda9df4ab06f3b1bd53f242a5814;p=jalview.git JAL-1508 make default font size 11pt for embedded menus. workaround - not a fix --- diff --git a/src/jalview/appletgui/AlignFrame.java b/src/jalview/appletgui/AlignFrame.java index 3c5c956..f902f24 100644 --- a/src/jalview/appletgui/AlignFrame.java +++ b/src/jalview/appletgui/AlignFrame.java @@ -3362,7 +3362,7 @@ public class AlignFrame extends EmbmenuFrame implements ActionListener, fileMenu.remove(closeMenuItem); fileMenu.remove(3); // Remove Seperator embeddedMenu = makeEmbeddedPopupMenu(alignFrameMenuBar, "Arial", - Font.PLAIN, 10, false); // use our own fonts. + Font.PLAIN, 11, false); // use our own fonts. // and actually add the components to the applet area viewport.applet.setLayout(new BorderLayout()); viewport.applet.add(embeddedMenu, BorderLayout.NORTH); diff --git a/src/jalview/appletgui/EmbmenuFrame.java b/src/jalview/appletgui/EmbmenuFrame.java index 3756812..9d893d6 100644 --- a/src/jalview/appletgui/EmbmenuFrame.java +++ b/src/jalview/appletgui/EmbmenuFrame.java @@ -92,7 +92,7 @@ public class EmbmenuFrame extends Frame implements MouseListener { // Build the embedded menu panel embeddedMenu = makeEmbeddedPopupMenu(topMenuBar, "Arial", Font.PLAIN, - 10, true); // try to pickup system font. + 11, true); // try to pickup system font. setMenuBar(null); // add the components to the TreePanel area. add(embeddedMenu, BorderLayout.NORTH);