git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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,
{
// 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);
setMenuBar(null);
// add the components to the TreePanel area.
add(embeddedMenu, BorderLayout.NORTH);