question: 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 ; } } }
target:  Rename an Editor type panel in Show Panels sub menu