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);
}
