Module jEdit

Package org.gjt.sp.jedit.pluginmgr

Class RemotePluginList

java.lang.Object

org.gjt.sp.jedit.pluginmgr.RemotePluginList

public class RemotePluginList
extends Object

Author:

Matthieu Casanova

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
RemotePluginList(ProgressObserver progressObserver, String id)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

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 Details

RemotePluginList

public RemotePluginList(ProgressObserver progressObserver,
 String id)