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