/**
* Met à jour l'interface : active ou désactive les boutons Undo, Redo, Cut,
* Copy et Paste.
*/
public void update(Observable o, Object arg) {
AnalysePanel p = Main.analyseFrame.getCurrentPanel();
getAction(Constantes.REDO).setEnabled(p.getRedoEnabled());
getAction(Constantes.UNDO).setEnabled(p.getUndoEnabled());
getAction(Constantes.CUT).setEnabled(p.getCopyEnabled() && p.getPasteEnabled());
getAction(Constantes.COPY).setEnabled(p.getCopyEnabled());
getAction(Constantes.PASTE).setEnabled(p.getPasteEnabled());
}