Révision 866
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/preferences/AdvancePreferencePage.java (revision 866) | ||
|---|---|---|
| 42 | 42 |
import org.txm.rcp.views.corpora.CorporaView; |
| 43 | 43 |
import org.txm.rcp.views.fileexplorer.MacroExplorer; |
| 44 | 44 |
|
| 45 |
// TODO: Auto-generated Javadoc |
|
| 46 | 45 |
/** |
| 47 |
* The Class AdvancePreferencePage.
|
|
| 46 |
* Advanced preferences page.
|
|
| 48 | 47 |
*/ |
| 49 | 48 |
public class AdvancePreferencePage extends TXMPreferencePage {
|
| 50 | 49 |
|
| ... | ... | |
| 113 | 112 |
// Show all result nodes in Corpora view |
| 114 | 113 |
addField(new BooleanFieldEditor(TBXPreferences.SHOW_ALL_RESULT_NODES, "Show all result nodes in Corpora view", getFieldEditorParent())); |
| 115 | 114 |
|
| 116 |
// Auto save each result after computing |
|
| 117 |
addField(new BooleanFieldEditor(TBXPreferences.AUTO_SAVE_RESULTS, "Auto save results", getFieldEditorParent()));
|
|
| 115 |
// Auto save each result after computing and auto load them at startup
|
|
| 116 |
addField(new BooleanFieldEditor(TBXPreferences.PERSISTENCE_ENABLED, "Enable results persistence", getFieldEditorParent()));
|
|
| 118 | 117 |
|
| 119 | 118 |
} |
| 120 | 119 |
|
| ... | ... | |
| 132 | 131 |
IHandlerService service = (IHandlerService) PlatformUI.getWorkbench().getService(IHandlerService.class); |
| 133 | 132 |
service.executeCommand("org.txm.rcp.p2.plugins.FixUpdateHandler", null); //$NON-NLS-1$
|
| 134 | 133 |
|
| 135 |
// FIXME: Refresh the Advanced\Charts Engine preference page to show/hide the "Display format" combo box according to expert mode value |
|
| 136 |
// This code make the current engine switch bugged when the user displays this page before switching of current engine. |
|
| 137 |
// It's because this method is called before the performOK() method of the chart engine preference page |
|
| 138 |
// PlatformUI.getWorkbench().getPreferenceManager(). |
|
| 139 |
// find("org.txm.rcp.preferences.TextometriePreferencePage/" + AdvancePreferencePage.ID + "/" + ChartsEnginePreferencePage.ID).createPage();
|
|
| 140 | 134 |
} catch (Exception e) {
|
| 141 | 135 |
System.err.println(TXMUIMessages.FAILED_TO_SAVE_PREFERENCES + e); |
| 142 | 136 |
} |
Formats disponibles : Unified diff