insensa.view.help
Class HelpMainGui.EditorMarkerPropertyChangeListener

java.lang.Object
  insensa.view.help.HelpMainGui.EditorMarkerPropertyChangeListener

All Implemented Interfaces:

java.beans.PropertyChangeListener, java.util.EventListener

Enclosing class:

HelpMainGui

private class HelpMainGui.EditorMarkerPropertyChangeListener
extends java.lang.Object
implements java.beans.PropertyChangeListener

Constructor Summary

private

HelpMainGui.EditorMarkerPropertyChangeListener()

Method Summary

void	propertyChange(java.beans.PropertyChangeEvent evt)

Methods inherited from class java.lang.Object

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

Constructor Detail

HelpMainGui.EditorMarkerPropertyChangeListener

private HelpMainGui.EditorMarkerPropertyChangeListener()

Method Detail

propertyChange

public void propertyChange(java.beans.PropertyChangeEvent evt)

Specified by:

propertyChange in interface java.beans.PropertyChangeListener

See Also:

PropertyChangeListener.propertyChange(java.beans.PropertyChangeEvent)