public class ProofScriptAction
extends javax.swing.AbstractAction
Modifier and Type | Field and Description |
---|---|
private static java.io.File |
lastDirectory |
private KeYMediator |
mediator |
Constructor and Description |
---|
ProofScriptAction(KeYMediator mediator) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
private final KeYMediator mediator
private static java.io.File lastDirectory
public ProofScriptAction(KeYMediator mediator)