public class MavenOptionsPage
extends ro.sync.exml.plugin.option.OptionPagePluginExtension
| Modifier and Type | Field and Description |
|---|---|
static String |
DEFAULT_MAVEN_INSTALL_DIR |
static String |
DEFAULT_REPO_LOCATION |
static MavenOptionsPage |
INSTANCE |
static String |
OPTION_INSTALL_DIR |
static String |
OPTION_PREFIX |
| Constructor and Description |
|---|
MavenOptionsPage() |
| Modifier and Type | Method and Description |
|---|---|
void |
apply(ro.sync.exml.workspace.api.PluginWorkspace pluginWorkspace) |
String |
getMavenInstallDir()
Returns the Maven installation directory, as configured in options
|
String |
getTitle() |
JComponent |
init(ro.sync.exml.workspace.api.PluginWorkspace pluginWorkspace) |
void |
restoreDefaults() |
public static final String OPTION_PREFIX
public static final String OPTION_INSTALL_DIR
public static final String DEFAULT_MAVEN_INSTALL_DIR
public static final String DEFAULT_REPO_LOCATION
public static MavenOptionsPage INSTANCE
public void apply(ro.sync.exml.workspace.api.PluginWorkspace pluginWorkspace)
apply in class ro.sync.exml.plugin.option.OptionPagePluginExtensionpublic void restoreDefaults()
restoreDefaults in class ro.sync.exml.plugin.option.OptionPagePluginExtensionpublic String getTitle()
getTitle in class ro.sync.exml.plugin.option.OptionPagePluginExtensionpublic JComponent init(ro.sync.exml.workspace.api.PluginWorkspace pluginWorkspace)
init in class ro.sync.exml.plugin.option.OptionPagePluginExtensionpublic String getMavenInstallDir()
Copyright © 2019. All rights reserved.