Uses of Class org.gjt.sp.jedit.pluginmgr.MirrorList (jEdit API Documentation)

## Uses of Class
org.gjt.sp.jedit.pluginmgr.MirrorList

- Packages that use MirrorList
  Package | Description
  --- | ---
  org.gjt.sp.jedit.pluginmgr | The plugin manager.

- - ### Uses of MirrorList in org.gjt.sp.jedit.pluginmgr

    Methods in org.gjt.sp.jedit.pluginmgr that return MirrorList
    Modifier and Type | Method | Description
    --- | --- | ---
    `static MirrorList` | MirrorList.`mirrorListFromDisk​(ProgressObserver progressObserver)` |
    `static MirrorList` | MirrorList.`mirrorListFromInternet​(ProgressObserver progressObserver)` |