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

Constructor Index

o ResourceEditorListener(ServerBrowser)

Method Index

o resourceChanged(ResourceChangeEvent)

Constructors

o ResourceEditorListener 
 public ResourceEditorListener(ServerBrowser sb)

Methods

o resourceChanged 
 public void resourceChanged(ResourceChangeEvent e)

All Packages  Class Hierarchy  This Package  Previous  Next  Index