525354555657585960
//---------------------------------------------------------------------------- public void actionPerformed(ActionEvent action_event) { if (about_window_ == null) { about_window_ = new AboutWindow(); } about_window_.show(); }