public static interface ExplorerManager.Provider
ExplorerManager
.Modifier and Type | Method and Description |
---|---|
ExplorerManager |
getExplorerManager()
Get the explorer manager.
|
ExplorerManager getExplorerManager()
Built on April 17 2024. | Copyright © 2017-2024 Apache Software Foundation. All Rights Reserved.