public class GestionnaireExporter
extends java.lang.Object
implements java.awt.event.ActionListener, java.beans.PropertyChangeListener
Modifier and Type | Field and Description |
---|---|
static int |
EXPORTER_BRF
constante pour lexportation au format brf
|
Constructor and Description |
---|
GestionnaireExporter(EditeurBraille par,
TextSender tSender,
int a,
GestionnaireErreur g)
Constructeur par copie
|
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent evt)
Redéfinition; lance l'exportation en fonction de
action |
void |
propertyChange(java.beans.PropertyChangeEvent e)
Active ou désactive l'interface des tables brailles suivant le type de filtre choisi
|
public static final int EXPORTER_BRF
public GestionnaireExporter(EditeurBraille par, TextSender tSender, int a, GestionnaireErreur g)
par
- le composant construisant cette instancetSender
- instance de TextSender gérant le texte à exportera
- entier représentant le type d'exportation à réaliserg
- instance de GestionnaireErreurpublic void actionPerformed(java.awt.event.ActionEvent evt)
action
actionPerformed
in interface java.awt.event.ActionListener
ActionListener.actionPerformed(java.awt.event.ActionEvent)
public void propertyChange(java.beans.PropertyChangeEvent e)
propertyChange
in interface java.beans.PropertyChangeListener
PropertyChangeListener.propertyChange(java.beans.PropertyChangeEvent)