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