public class AutoDismissDialog
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_DELAY |
static int |
DEFAULT_DELAY_DISPOSE_TO_END |
static int |
DEFAULT_DELAY_START_TO_DISPOSE |
static int |
DEFAULT_RATE |
Constructor and Description |
---|
AutoDismissDialog(java.awt.Frame parent,
java.lang.String message) |
AutoDismissDialog(java.awt.Frame parent,
java.lang.String message,
int delay,
int rate,
int delayStartToDispose,
int delayDisposeToEnd) |
AutoDismissDialog(java.lang.String message) |
Modifier and Type | Method and Description |
---|---|
void |
show() |
public static final int DEFAULT_DELAY
public static final int DEFAULT_RATE
public static final int DEFAULT_DELAY_START_TO_DISPOSE
public static final int DEFAULT_DELAY_DISPOSE_TO_END
public AutoDismissDialog(java.awt.Frame parent, java.lang.String message, int delay, int rate, int delayStartToDispose, int delayDisposeToEnd)
public AutoDismissDialog(java.awt.Frame parent, java.lang.String message)
public AutoDismissDialog(java.lang.String message)
Copyright © 2003-2019 The KeY-Project.