+ * This may be called after any operation that affects the data in the current view (selection changed, etc) to update the menus to reflect the new state.
+ */
+ public void setMenusForViewport()
+ {
+ setMenusFromViewport(viewport);
+ }
/**
* Need to call this method when tabs are selected for multiple views,
* or when loading from Jalview2XML.java
/**
* Need to call this method when tabs are selected for multiple views,