Révision 1070
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/preferences/DebugPreferencePage.java (revision 1070) | ||
|---|---|---|
| 2 | 2 |
|
| 3 | 3 |
import org.eclipse.jface.preference.BooleanFieldEditor; |
| 4 | 4 |
import org.eclipse.ui.IWorkbench; |
| 5 |
import org.eclipse.ui.preferences.ScopedPreferenceStore; |
|
| 5 | 6 |
import org.txm.core.preferences.TBXPreferences; |
| 6 | 7 |
import org.txm.rcp.messages.TXMUIMessages; |
| 8 |
import org.txm.rcp.views.corpora.CorporaView; |
|
| 7 | 9 |
|
| 8 | 10 |
/** |
| 9 | 11 |
* Debug preferences page. |
| ... | ... | |
| 25 | 27 |
public void init(IWorkbench workbench) {
|
| 26 | 28 |
this.setPreferenceStore(new TXMPreferenceStore(TBXPreferences.getInstance().getPreferencesNodeQualifier())); |
| 27 | 29 |
} |
| 30 |
|
|
| 31 |
@Override |
|
| 32 |
public boolean performOk() {
|
|
| 33 |
if(super.performOk()) {
|
|
| 34 |
CorporaView.refresh(); |
|
| 35 |
return true; |
|
| 36 |
}; |
|
| 37 |
return false; |
|
| 38 |
} |
|
| 28 | 39 |
} |
| tmp/org.txm.rcp/OSGI-INF/l10n/bundle.properties (revision 1070) | ||
|---|---|---|
| 474 | 474 |
view.name = Corpus |
| 475 | 475 |
view.name.0 = Progress |
| 476 | 476 |
view.name.1 = File |
| 477 |
view.name.10 = SWT debug view |
|
| 477 |
view.name.11 = Parameters view |
|
| 478 |
view.name.12 = TXM results debug view |
|
| 479 |
view.name.13 = SWT debug view |
|
| 478 | 480 |
view.name.2 = Groovy Console |
| 479 | 481 |
view.name.3 = Base |
| 480 | 482 |
view.name.4 = Query |
| tmp/org.txm.core/src/java/org/txm/core/results/TXMResult.java (revision 1070) | ||
|---|---|---|
| 984 | 984 |
ArrayList<TXMResult> results = Toolbox.workspace.getDeepChildren(); |
| 985 | 985 |
for (int i = 0; i < results.size(); i++) {
|
| 986 | 986 |
TXMResult r = results.get(i); |
| 987 |
// if (r.mustBePersisted()) {
|
|
| 988 |
// TXMPreferences.flush(r);
|
|
| 989 |
// } else {
|
|
| 990 |
// Log.finest("TXMResult.deleteAllNonPersistentResults(): Deleting result " + r.getSimpleName() + " of type " + r.getClass().getSimpleName() + ".");
|
|
| 991 |
// TXMPreferences.delete(r);
|
|
| 992 |
// }
|
|
| 987 |
if (r.mustBePersisted()) {
|
|
| 988 |
TXMPreferences.flush(r); |
|
| 989 |
} else {
|
|
| 990 |
Log.finest("TXMResult.deleteAllNonPersistentResults(): Deleting result " + r.getSimpleName() + " of type " + r.getClass().getSimpleName() + ".");
|
|
| 991 |
TXMPreferences.delete(r); |
|
| 992 |
} |
|
| 993 | 993 |
} |
| 994 | 994 |
} |
| 995 | 995 |
|
| ... | ... | |
| 1143 | 1143 |
} |
| 1144 | 1144 |
|
| 1145 | 1145 |
/** |
| 1146 |
* Gets the first child result specified by their class.
|
|
| 1146 |
* Gets the first child result specified by its class.
|
|
| 1147 | 1147 |
* @param type |
| 1148 | 1148 |
* @return the first child if exists otherwise null |
| 1149 | 1149 |
*/ |
Formats disponibles : Unified diff