From: Jim Procter <jprocter@dundee.ac.uk>
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);