public void run() { TextMessageFrame panel = new TextMessageFrame("Query Result"); JFrame protegeFrame = ProtegeManager.getInstance().getFrame(getWorkspace()); DialogUtils.centerDialogWRTParent(protegeFrame, panel); DialogUtils.installEscapeCloseOperation(panel); panel.setTextMessage(visitor.getString()); panel.setVisible(true); }
public void run() { TextMessageFrame panel = new TextMessageFrame(title); JFrame protegeFrame = ProtegeManager.getInstance().getFrame(getWorkspace()); DialogUtils.centerDialogWRTParent(protegeFrame, panel); DialogUtils.installEscapeCloseOperation(panel); panel.setTextMessage(result); panel.setTimeProcessingMessage( String.format("Amount of processing time: %s sec", action.getExecutionTime() / 1000)); panel.setVisible(true); }