default MenuBar menu background color
[jalview.git] / coreclasses
2018-06-21 hansonrcore_jalview creation