private final class ProofTreeView.ProofTreePopupMenu.SetGoalsBelowEnableStatus extends DisableGoal
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
enableGoals, KEY_HOLE_DISABLED_PULL_DOWN_MENU, KEY_HOLE_PULL_DOWN_MENU
changeSupport, enabled
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON
Constructor and Description |
---|
ProofTreeView.ProofTreePopupMenu.SetGoalsBelowEnableStatus(boolean enableGoals) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent e) |
Iterable<Goal> |
getGoalList()
an implementation should return an iterable collection over those
goals that are to be disabled or enabled according to the setting of
DisableGoal.enableGoals . |
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
private static final long serialVersionUID
public ProofTreeView.ProofTreePopupMenu.SetGoalsBelowEnableStatus(boolean enableGoals)
public Iterable<Goal> getGoalList()
DisableGoal
DisableGoal.enableGoals
.getGoalList
in class DisableGoal
public void actionPerformed(ActionEvent e)
actionPerformed
in interface ActionListener
actionPerformed
in class DisableGoal