de.uka.ilkd.key.control.event

Interface TermLabelVisibilityManagerListener

All Superinterfaces:

EventListener

public interface TermLabelVisibilityManagerListener
extends EventListener

Observes changes on a TermLabelVisibilityManager.

Author:

Martin Hentschel

Method Summary

Modifier and Type	Method and Description
void	visibleLabelsChanged(TermLabelVisibilityManagerEvent e) When the visible term labels have changed.

Method Detail

visibleLabelsChanged

void visibleLabelsChanged(TermLabelVisibilityManagerEvent e)

When the visible term labels have changed.

Parameters:

e - The change event.