| Package | Description | 
|---|---|
| oracle.ide.model | 
 Contains interfaces and classes implementing JDeveloper's data model. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
void | 
WorkspaceChangeListener.workspacePropertiesChanged(WorkspaceChangeEvent e)
Invoked when workspace properties have changed. 
 |