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

Uses of Interface
jindent.ExtensionManager

Packages that use ExtensionManager
jindent   
 

Uses of ExtensionManager in jindent
 

Methods in jindent that return ExtensionManager
static ExtensionManager JindentSystem.getDefaultExtensionManager()
          Returns default extension manager.
 ExtensionManager JindentSettings.getExtensionManager()
           
 

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