public static class PluginManagerMain.PluginEnabler.HEADLESS extends java.lang.Object implements PluginManagerMain.PluginEnabler
PluginManagerMain.PluginEnabler.HEADLESS| Constructor and Description |
|---|
HEADLESS() |
| Modifier and Type | Method and Description |
|---|---|
void |
disablePlugins(java.util.Set<? extends IdeaPluginDescriptor> disabled) |
void |
enablePlugins(java.util.Set<? extends IdeaPluginDescriptor> disabled) |
boolean |
isDisabled(PluginId pluginId) |
public void enablePlugins(java.util.Set<? extends IdeaPluginDescriptor> disabled)
enablePlugins in interface PluginManagerMain.PluginEnablerpublic void disablePlugins(java.util.Set<? extends IdeaPluginDescriptor> disabled)
disablePlugins in interface PluginManagerMain.PluginEnablerpublic boolean isDisabled(PluginId pluginId)
isDisabled in interface PluginManagerMain.PluginEnabler