public class UpdaterManager extends java.lang.Object implements EditorAction
Modifier and Type | Field and Description |
---|---|
static boolean |
AUTO_CHECK_DEFAULT
Preferences default value for AUTO_CHECK_KEY.
|
static java.lang.String |
AUTO_CHECK_KEY
Preferences key whether to automatically check for updates.
|
static int |
INTERVAL_DEFAULT
Preferences default value for INTERVAL_KEY.
|
static java.lang.String |
INTERVAL_KEY
Preferences key for selected update interval.
|
Constructor and Description |
---|
UpdaterManager(Exiter exiter,
MapManager<?,?,?> mapManager,
java.awt.Component parentComponent,
java.lang.String updateFileName)
Creates a new instance.
|
Modifier and Type | Method and Description |
---|---|
void |
setAction(javax.swing.Action action,
java.lang.String name)
Sets the
Action instance for this editor action. |
void |
startup()
Eventually perform an update during startup.
|
void |
update()
Perform an update.
|
public static final java.lang.String AUTO_CHECK_KEY
public static final boolean AUTO_CHECK_DEFAULT
public static final java.lang.String INTERVAL_KEY
public static final int INTERVAL_DEFAULT
public UpdaterManager(@NotNull Exiter exiter, @NotNull MapManager<?,?,?> mapManager, java.awt.Component parentComponent, java.lang.String updateFileName)
exiter
- the exiter for terminating the applicationmapManager
- the map manager to useparentComponent
- the parent component to show dialogs onupdateFileName
- the file to updatepublic void startup()
@ActionMethod public void update()
public void setAction(@NotNull javax.swing.Action action, @NotNull java.lang.String name)
Action
instance for this editor action.setAction
in interface EditorAction
action
- the action instancename
- the name of the action