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()