private void updateActions(final INaviAddressSpace addressSpace){
  m_loadAddressSpaceAction.setEnabled(!addressSpace.isLoaded());
}

private void updateActions ( final INaviAddressSpace addressSpace ) { m_loadAddressSpaceAction . setEnabled ( ! addressSpace . isLoaded ( ) ) ; }
updates the menu actions depending on the state of the given address space .
