de.uka.ilkd.key.gui.nodeviews

Class SequentViewChangeListener

java.lang.Object

de.uka.ilkd.key.gui.nodeviews.SequentViewChangeListener

All Implemented Interfaces:

ComponentListener, HierarchyBoundsListener, PropertyChangeListener, EventListener

class SequentViewChangeListener
extends Object
implements ComponentListener, PropertyChangeListener, HierarchyBoundsListener

Field Summary

Fields

Modifier and Type	Field and Description
private SequentView	sequentView

Constructor Summary

Constructors

Constructor and Description
SequentViewChangeListener(SequentView sequentView)

Method Summary

Modifier and Type	Method and Description
void	ancestorMoved(HierarchyEvent e)
void	ancestorResized(HierarchyEvent e)
void	componentHidden(ComponentEvent e)
void	componentMoved(ComponentEvent e)
void	componentResized(ComponentEvent e)
void	componentShown(ComponentEvent e)
void	propertyChange(PropertyChangeEvent evt)
void	reprintOnLineWidthChange()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

sequentView

private final SequentView sequentView

Constructor Detail

SequentViewChangeListener

SequentViewChangeListener(SequentView sequentView)

Method Detail

reprintOnLineWidthChange

public void reprintOnLineWidthChange()

componentHidden

public void componentHidden(ComponentEvent e)

Specified by:

componentHidden in interface ComponentListener

componentMoved

public void componentMoved(ComponentEvent e)

Specified by:

componentMoved in interface ComponentListener

componentResized

public void componentResized(ComponentEvent e)

Specified by:

componentResized in interface ComponentListener

componentShown

public void componentShown(ComponentEvent e)

Specified by:

componentShown in interface ComponentListener

propertyChange

public void propertyChange(PropertyChangeEvent evt)

Specified by:

propertyChange in interface PropertyChangeListener

ancestorMoved

public void ancestorMoved(HierarchyEvent e)

Specified by:

ancestorMoved in interface HierarchyBoundsListener

ancestorResized

public void ancestorResized(HierarchyEvent e)

Specified by:

ancestorResized in interface HierarchyBoundsListener