    All Packages  Class Hierarchy  This Package  Previous  Next  Index

# Class w3c.jigadm.gui.ResourceEditorListener

    java.lang.Object
       |
       +----w3c.jigadm.gui.ResourceEditorListener

public class ResourceEditorListener
extends Object
implements ResourceListener

##

ResourceEditorListener(ServerBrowser)

##

resourceChanged(ResourceChangeEvent)

##

ResourceEditorListener

     public ResourceEditorListener(ServerBrowser sb)

##

resourceChanged

     public void resourceChanged(ResourceChangeEvent e)

    All Packages  Class Hierarchy  This Package  Previous  Next  Index