public void renameEditorPanel(Editor panel){
  if (panelsList.size() == 0) {
    return;
  }
  for (int i=0; i < panelsList.size(); i++) {
    Object o=panelsList.get(i);
    if (o == panel) {
      JCheckBoxMenuItem r=(JCheckBoxMenuItem)panelsSubMenu.getItem(i);
      r.setText(panel.getTitle());
      return;
    }
  }
}

public void renameEditorPanel ( Editor panel ) { if ( panelsList . size ( ) == 0 ) { return ; } for ( int i = 0 ; i < panelsList . size ( ) ; i ++ ) { Object o = panelsList . get ( i ) ; if ( o == panel ) { JCheckBoxMenuItem r = ( JCheckBoxMenuItem ) panelsSubMenu . getItem ( i ) ; r . setText ( panel . getTitle ( ) ) ; return ; } } }
rename an editor type panel in show panels sub menu
