515253545556575859
//---------------------------------------------------------------------------- public void actionPerformed(ActionEvent action_event) { if (chooser_ == null) { chooser_ = new LineWidthChooser(drawing_panel_); } chooser_.show(); }