oracle.ide.model

Interface WorkspaceChangeListener

All Superinterfaces:

java.util.EventListener

public interface WorkspaceChangeListener
extends java.util.EventListener

Listens for changes to workspaces.

Since:

12.1.1

Method Summary

Methods

Modifier and Type	Method and Description
void	workspacePropertiesChanged(WorkspaceChangeEvent e) Invoked when workspace properties have changed.

Method Detail

workspacePropertiesChanged

void workspacePropertiesChanged(WorkspaceChangeEvent e)

Invoked when workspace properties have changed.

Parameters:

e - the workspace change event