JAL-1508 make default font size 11pt for embedded menus. workaround - not a fix

[jalview.git] / src / jalview / appletgui / EmbmenuFrame.java

diff --git a/src/jalview/appletgui/EmbmenuFrame.java b/src/jalview/appletgui/EmbmenuFrame.java
index 3756812..9d893d6 100644 (file)
--- 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);