public interface Application
Modifier and Type | Method and Description |
---|---|
ApplicationSkin |
getApplicationSkin()
Provides access to the application skin API for determining colors for
various GUI components.
|
double |
getChannelExposureTime(java.lang.String channelGroup,
java.lang.String channel,
double defaultExp)
Retrieve the exposure time that has been set for the specified channel.
|
javax.swing.JFrame |
getMainWindow()
Provide access to the main window of the program.
|
void |
makeActive()
Move the main Micro-Manager window to the top of the user interface.
|
void |
refreshGUI()
Updates the GUI so that its state reflects the current state of the
hardware (as understood by the Micro-Manager Core).
|
void |
refreshGUIFromCache()
Updates the GUI so that its state reflects the current state of the
hardware (as understood by the Micro-Manager Core).
|
void |
saveConfigPresets(java.lang.String path,
boolean allowOverwrite)
Save the current state of the config file to the specified path.
|
void |
setChannelExposureTime(java.lang.String channelGroup,
java.lang.String channel,
double exposure)
Updates the exposure time associated with the given preset.
|
void |
setExposure(double exposureMs)
Set the exposure time for the current channel (if any).
|
void |
setROI(java.awt.Rectangle rect)
Set the default camera's ROI -- a convenience function.
|
void |
showAutofocusDialog()
Pop up the dialog used to configure the autofocus settings for the
current autofocus device.
|
void |
showPositionList()
Display the position list dialog.
|
ApplicationSkin |
skin()
Provides access to the application skin API for determining colors for
various GUI components.
|
void refreshGUI()
void refreshGUIFromCache()
void setExposure(double exposureMs)
exposureMs
- Exposure time, in milliseconds.void setChannelExposureTime(java.lang.String channelGroup, java.lang.String channel, double exposure)
channelGroup
- Name of the config group used to control the channel.channel
- Name of the preset in the config group that refers to the
channel that should be updated.exposure
- New exposure time to set.double getChannelExposureTime(java.lang.String channelGroup, java.lang.String channel, double defaultExp)
channelGroup
- Name of the config group used to control the channel.channel
- Name of the preset in the config group that refers to the
channel whose exposure time is desired.defaultExp
- Default value to return if no exposure time is found.void saveConfigPresets(java.lang.String path, boolean allowOverwrite) throws java.io.IOException
path
- Path to save the file to.allowOverwrite
- If true, any existing file at the specified path
will be overwritten.java.io.IOException
- If shouldOverwrite is false and there is already a
file at the chosen path.void showAutofocusDialog()
void showPositionList()
void setROI(java.awt.Rectangle rect) throws java.lang.Exception
rect
- Rectangle defining the ROIjava.lang.Exception
- if there is an error in the Core when setting the ROIvoid makeActive()
javax.swing.JFrame getMainWindow()
ApplicationSkin skin()
ApplicationSkin getApplicationSkin()