autoJCasAction = new Action() {
// The run action is simply to toggle the setting in the prefs page, and
// to update the checked status to correspond to that
public void run() {
TAEConfiguratorPlugin plugin = TAEConfiguratorPlugin.getDefault();
Preferences prefs = plugin.getPluginPreferences();
boolean bAutoJCasGen = !prefs.getBoolean(PreferencePage.P_JCAS); //$NON-NLS-1$
autoJCasAction.setChecked(bAutoJCasGen);
prefs.setValue(PreferencePage.P_JCAS, bAutoJCasGen); //$NON-NLS-1$
}
};
runJCasGenAction = new Action() {
public void run() {
((MultiPageEditor) activeEditorPart).doJCasGenChkSrc(null); // don't know how to get
// progress monitor
}
};
qualifiedTypesAction = new Action() {
public void run() {
TAEConfiguratorPlugin plugin = TAEConfiguratorPlugin.getDefault();
Preferences prefs = plugin.getPluginPreferences();
boolean bFullyQualifiedTypeNames = !prefs
.getBoolean(PreferencePage.P_SHOW_FULLY_QUALIFIED_NAMES); //$NON-NLS-1$
qualifiedTypesAction.setChecked(bFullyQualifiedTypeNames);
prefs.setValue(PreferencePage.P_SHOW_FULLY_QUALIFIED_NAMES, bFullyQualifiedTypeNames); //$NON-NLS-1$
// mark all pages as stale for all editors, since this is a global setting
IWorkbenchPage[] pages = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getPages();
for (int i = 0; i < pages.length; i++) {
IWorkbenchPart[] editors = pages[i].getEditors();