public void actionPerformed(ActionEvent e) { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); } });
public void actionPerformed(ActionEvent e) { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); } });
bg.add(item); item.addActionListener(e -> { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); });
bg.add(item); item.addActionListener(e -> { mngr.getOWLReasonerManager().setCurrentReasonerFactoryId(plugin.getReasonerId()); });