protected void updateMenu(){
  if (m_MenuBar == null)   return;
  m_MenuItemFileOpen.setEnabled(true);
  m_MenuItemFileSave.setEnabled((getCurrentFile() != null) && (getCurrentData() != null));
  m_MenuItemFileSaveAs.setEnabled((getCurrentData() != null));
  m_MenuItemFileClose.setEnabled(true);
  m_MenuItemEditUndo.setEnabled(canUndo());
  m_MenuItemEditData.setEnabled(getCurrentData() != null);
}

protected void updateMenu ( ) { if ( m_MenuBar == null ) return ; m_MenuItemFileOpen . setEnabled ( true ) ; m_MenuItemFileSave . setEnabled ( ( getCurrentFile ( ) != null ) && ( getCurrentData ( ) != null ) ) ; m_MenuItemFileSaveAs . setEnabled ( ( getCurrentData ( ) != null ) ) ; m_MenuItemFileClose . setEnabled ( true ) ; m_MenuItemEditUndo . setEnabled ( canUndo ( ) ) ; m_MenuItemEditData . setEnabled ( getCurrentData ( ) != null ) ; }
updates the enabled / disabled state of the menu items .
