JAL-1508 make default font size 11pt for embedded menus. workaround - not a fix
authorJim Procter <jprocter@dundee.ac.uk>
Tue, 27 May 2014 14:59:45 +0000 (15:59 +0100)
committerJim Procter <jprocter@dundee.ac.uk>
Tue, 27 May 2014 14:59:45 +0000 (15:59 +0100)
commite83311d25dc8fda9df4ab06f3b1bd53f242a5814
treeff79bb623915375776e78e29ee5619f5eca65351
parent3c9a109fe89504b4713bfaf612275edc8c07e433
JAL-1508 make default font size 11pt for embedded menus. workaround - not a fix
src/jalview/appletgui/AlignFrame.java
src/jalview/appletgui/EmbmenuFrame.java