@Override
public void actionPerformed(ActionEvent evt) {
JCheckBoxMenuItem menuItem = (JCheckBoxMenuItem) evt.getSource();
boolean curState = menuItem.isSelected();
TreePath path = resultTree.getSelectionPath();
DefaultMutableTreeNode operNode = (DefaultMutableTreeNode) path.getLastPathComponent();
HyperSearchOperationNode operNodeObj = (HyperSearchOperationNode) operNode.getUserObject();
if (curState) operNodeObj.cacheResultNodes(operNode);
operNode.removeAllChildren();
if (curState) {
Exception excp = null;
try {
operNodeObj.insertTreeNodes(resultTree, operNode);
} catch (Exception ex) {
operNodeObj.restoreFlatNodes(resultTree, operNode);
menuItem.setSelected(false);
excp = ex;
} finally {
((DefaultTreeModel) resultTree.getModel()).nodeStructureChanged(operNode);
expandAllNodes(operNode);
resultTree.scrollPathToVisible(new TreePath(operNode.getPath()));
}
if (excp != null) throw new RuntimeException(excp);
} else operNodeObj.restoreFlatNodes(resultTree, operNode);
operNodeObj.setTreeViewDisplayed(menuItem.isSelected());
}
@Override
public void actionPerformed(ActionEvent evt) {
Object source = evt.getSource();
if (source == highlight) {
String prop = jEdit.getProperty(HIGHLIGHT_PROP);
Font f = (resultTree != null) ? resultTree.getFont() : UIManager.getFont("Tree.font");
SyntaxStyle style =
new StyleEditor(
jEdit.getActiveView(),
HtmlUtilities.parseHighlightStyle(prop, f),
"hypersearch")
.getStyle();
if (style != null) jEdit.setProperty(HIGHLIGHT_PROP, GUIUtilities.getStyleString(style));
updateHighlightStatus();
} else if (source == clear) {
removeAllNodes();
} else if (source == multi) {
multiStatus = !multiStatus;
updateMultiStatus();
if (!multiStatus) {
for (int i = resultTreeRoot.getChildCount() - 2; i >= 0; i--) {
resultTreeModel.removeNodeFromParent((MutableTreeNode) resultTreeRoot.getChildAt(i));
}
}
} else if (source == stop) {
jEdit.setTemporaryProperty("hyperSearch-stopButton", "true");
}
}
public void actionPerformed(ActionEvent e) {
beta = Double.parseDouble(betaval.getText());
updatebeta();
if (e.getSource() == fitavgbutton) {
fitavg();
}
if (e.getSource() == fitglobalbutton) {
fitglobal();
}
if (e.getSource() == clearparamsbutton) {
resetparams();
}
if (e.getSource() == undobutton) {
undoglobalfit();
}
if (e.getSource() == geterrorsbutton) {
geterrors();
}
}
@Override
public void actionPerformed(ActionEvent e) {
TerminalPanel terminalPanel = ref.get();
if (terminalPanel != null) {
terminalPanel.myCursor.changeStateIfNeeded();
if (terminalPanel.needScrollUpdate.getAndSet(false)) {
terminalPanel.updateScrolling();
}
if (terminalPanel.needRepaint.getAndSet(false)) {
try {
terminalPanel.doRepaint();
} catch (Exception ex) {
LOG.error("Error while terminal panel redraw", ex);
}
}
} else { // terminalPanel was garbage collected
Timer timer = (Timer) e.getSource();
timer.removeActionListener(this);
timer.stop();
}
}
