class TacletMatchCompletionDialog.ButtonListener
extends java.lang.Object
implements java.awt.event.ActionListener
Constructor and Description |
---|
ButtonListener() |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
private void |
closeDialog() |
private void |
errorPositionKnown(java.lang.String errorMessage,
int row,
int col,
boolean inIfSequent) |
private void errorPositionKnown(java.lang.String errorMessage, int row, int col, boolean inIfSequent)
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
private void closeDialog()