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