nullpointer bug fix on consensus thread
[jalview.git] / src / jalview / appletgui / EmbmenuFrame.java
2007-10-27 jprocterrefactored embedded menu machinery