class MainWindow.MainGUIListener extends java.lang.Object implements GUIListener
Modifier and Type | Field and Description |
---|---|
private java.util.Set<java.awt.Component> |
doNotReenable |
Constructor and Description |
---|
MainGUIListener() |
Modifier and Type | Method and Description |
---|---|
private void |
enableMenuBar(javax.swing.JMenuBar m,
boolean b) |
void |
modalDialogClosed(java.util.EventObject e)
invoked if a frame that wants modal access is closed
|
void |
modalDialogOpened(java.util.EventObject e)
invoked if a frame that wants modal access is opened
|
private void |
setToolBarDisabled() |
private void |
setToolBarEnabled() |
void |
shutDown(java.util.EventObject e)
invoked if the user wants to abort the proving session
|
private void enableMenuBar(javax.swing.JMenuBar m, boolean b)
private void setToolBarDisabled()
private void setToolBarEnabled()
public void modalDialogOpened(java.util.EventObject e)
GUIListener
modalDialogOpened
in interface GUIListener
public void modalDialogClosed(java.util.EventObject e)
modalDialogClosed
in interface GUIListener
public void shutDown(java.util.EventObject e)
GUIListener
shutDown
in interface GUIListener