Uses of Class
oracle.ide.config.DocumentExtensions

Packages that use DocumentExtensions

oracle.ide.config

Contains classes encapsulating JDevelopers's environment settings.

Uses of DocumentExtensions in oracle.ide.config

Methods in oracle.ide.config with parameters of type DocumentExtensions

protected void	DocumentExtensions.copyToImpl(DocumentExtensions copy)
protected boolean	DocumentExtensions.equalsImpl(DocumentExtensions other)