/**
* Displays the options dialog.
*
* @param tabIndex Index of the tab. Use OptionsDialog.TAB_* constants for this, or -1 for the
* default, -2 to hide.
*/
@Override
public void showOptionsDialog(int tabIndex) {
if (optionsDialog == null) optionsDialog = optionsDialogFactory.create(((AppD) app));
else optionsDialog.updateGUI();
if (tabIndex > -1) optionsDialog.showTab(tabIndex);
optionsDialog.setVisible(tabIndex != -2);
}
/** Update labels in the GUI. */
public void setLabels() {
if (optionsDialog != null) optionsDialog.setLabels();
if (functionInspector != null) functionInspector.setLabels();
if (textInputDialog != null) ((TextInputDialog) textInputDialog).setLabels();
if (fileChooser != null) updateJavaUILanguage();
if (dataSourceDialog != null) dataSourceDialog.setLabels();
}