MirrorList (jEdit API Documentation)
Date: 2017-03-18

org.gjt.sp.jedit.pluginmgr

## Class MirrorList

- java.lang.Object
- - org.gjt.sp.jedit.pluginmgr.MirrorList

-     public class MirrorList
      extends java.lang.Object

- - ### Nested Class Summary

    Nested Classes
    Modifier and Type | Class and Description
    --- | ---
    `static class` | `MirrorList.Mirror`

  - ### Constructor Summary

    Constructors
    Constructor and Description
    `MirrorList(boolean download, ProgressObserver observer)`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `java.util.List<MirrorList.Mirror>` | `getMirrors()`
    `java.lang.String` | `getXml()`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Constructor Detail

    - #### MirrorList

          public MirrorList(boolean download,
                            ProgressObserver observer)
                     throws java.lang.Exception

      Throws:
        `java.lang.Exception`

  - ### Method Detail

    - #### getXml

          public java.lang.String getXml()

    - #### getMirrors

          public java.util.List<MirrorList.Mirror> getMirrors()