|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
nl.cwi.* |
---|
nl.cwi.sen1.visplugin.ContainerPanel | ||
---|---|---|
private static final java.lang.String |
constWarningChanged |
"The RStore has changed, this view might be outdated." |
private static final java.lang.String |
constWarningUnloaded |
"The RStore of this fact has been unloaded!" |
private static final long |
serialVersionUID |
-5928381544709327449L |
nl.cwi.sen1.visplugin.VisualizationPluginController | ||
---|---|---|
private static final java.lang.String |
TOOL_NAME |
"visualizationPlugin" |
nl.cwi.sen1.visplugin.screenshotmaker.ScreenshotMaker | ||
---|---|---|
public static final java.lang.String |
DEFAULT_EXTENSION |
"png" |
public static final java.lang.String |
JPEG_EXTENSION |
"jpg" |
public static final java.lang.String |
PNG_EXTENSION |
"png" |
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |