RemotePluginList (jEdit API Documentation)

Package org.gjt.sp.jedit.pluginmgr

## Class RemotePluginList

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

-     public class RemotePluginList
      extends java.lang.Object

- - ### Field Summary

    Fields
    Modifier and Type | Field | Description
    --- | --- | ---
    `static int` | `GZIP_MAGIC_1` | Magic numbers used for auto-detecting GZIP files.
    `static int` | `GZIP_MAGIC_2` |

  - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `RemotePluginList​(ProgressObserver progressObserver, java.lang.String id)` |

  - ### Method Summary

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

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

- - ### Field Detail

    - #### GZIP_MAGIC_1

          public static final int GZIP_MAGIC_1

      Magic numbers used for auto-detecting GZIP files.
      See Also:
        Constant Field Values

    - #### GZIP_MAGIC_2

          public static final int GZIP_MAGIC_2

      See Also:
        Constant Field Values

  - ### Constructor Detail

    - #### RemotePluginList

          public RemotePluginList​(ProgressObserver progressObserver,
                                  java.lang.String id)