50515253545556575859
/** * {@inheritDoc} */ public void actionPerformed(ActionEvent arg0) { OptionHandler handler = fGraph.getLayoutModule().getOptionHandler(); if (handler.showEditor()) { fGraph.updateLayoutModule(fGraph.getLayoutModule()); } } }