Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
Extension SDK 10.1.2
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
oracle.ide.editor.EditorsOptions

Packages that use EditorsOptions
oracle.ide.editor Contains classes and interfaces that allow addins to add their own specialized editors to JDeveloper. 
 

Uses of EditorsOptions in oracle.ide.editor
 

Methods in oracle.ide.editor with parameters of type EditorsOptions
protected  void EditorsOptions.copyToImpl(EditorsOptions copy)
           
protected  boolean EditorsOptions.equalsImpl(EditorsOptions opts)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
Extension SDK
 PREV   NEXT FRAMES    NO FRAMES    

 

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