Extension SDK

Package oracle.ide.config

Contains classes encapsulating JDevelopers's environment settings.

See:
          Description

Class Summary
ChangeEventSource Implements the registry of ChangeListeners.
DocumentExtensions DocumentExtensions class.
DocumentExtensions.DocRecord DocRecord class.
DocumentExtensions.ExtInfo ExtInfo class.
DocumentExtensionsPanel DocumentExtensionsPanel class.
DTCache The DTCache is a persisted cache that can be used to store data that is not user-configurable.
EnvironOptions This class stores the IDE environment options.
EnvironOptionsPanel A panel to edit EnvironOptions.
IdeKeyStrokes This class defines the default global shortcuts for the application
IdeSettings This classes stores the IDE settings.
IdeSettingsMigrator  
PlatformProperties  
SplashScreenOptions Utility class to get and set the display status of the SplashScreen.
 

Package oracle.ide.config Description

Contains classes encapsulating JDevelopers's environment settings. Addins can extends these settings with their own.

Related Documentation

See Extending JDeveloper Using the Addin API for detailed information.


Extension SDK

 

Copyright ©1997, 2003, Oracle. All rights reserved.