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)
-