Révision 1436
tmp/org.txm.chartsengine.jfreechart.rcp/src/org/txm/chartsengine/jfreechart/rcp/preferences/JFCChartsEnginePreferencePage.java (revision 1436) | ||
---|---|---|
104 | 104 |
// |
105 | 105 |
// // Refresh the User\Export preference page to update "Default charts export file format" combo box |
106 | 106 |
// PlatformUI.getWorkbench().getPreferenceManager(). |
107 |
// find("org.txm.rcp.preferences.TextometriePreferencePage/" + UserPreferencePage.ID + "/" + ExportPreferencePage.ID).createPage(); //$NON-NLS-1$ //$NON-NLS-2$
|
|
107 |
// find("org.txm.rcp.preferences.TXMMainPreferencePage/" + UserPreferencePage.ID + "/" + ExportPreferencePage.ID).createPage(); //$NON-NLS-1$ //$NON-NLS-2$
|
|
108 | 108 |
|
109 | 109 |
} |
110 | 110 |
|
tmp/org.txm.chartsengine.r.rcp/src/org/txm/rcp/chartsengine/r/preferences/RChartsEnginePreferencePage.java (revision 1436) | ||
---|---|---|
108 | 108 |
// |
109 | 109 |
// // Refresh the User\Export preference page to update "Default charts export file format" combo box |
110 | 110 |
// PlatformUI.getWorkbench().getPreferenceManager(). |
111 |
// find("org.txm.rcp.preferences.TextometriePreferencePage/" + UserPreferencePage.ID + "/" + ExportPreferencePage.ID).createPage(); //$NON-NLS-1$ //$NON-NLS-2$
|
|
111 |
// find("org.txm.rcp.preferences.TXMMainPreferencePage/" + UserPreferencePage.ID + "/" + ExportPreferencePage.ID).createPage(); //$NON-NLS-1$ //$NON-NLS-2$
|
|
112 | 112 |
} |
113 | 113 |
|
114 | 114 |
|
tmp/org.txm.searchengine.cqp.rcp/build.properties (revision 1436) | ||
---|---|---|
1 | 1 |
#Fri Jul 06 10:25:16 CEST 2018 |
2 |
bin.includes=META-INF/,.,plugin.xml,OSGI-INF/,icons/ |
|
2 |
bin.includes = META-INF/,\ |
|
3 |
.,\ |
|
4 |
plugin.xml,\ |
|
5 |
OSGI-INF/,\ |
|
6 |
icons/,\ |
|
7 |
OSGI-INF/l10n/bundle.properties |
|
3 | 8 |
output..=bin/ |
4 | 9 |
source..=src/ |
5 | 10 |
qualifier=svn |
tmp/org.txm.searchengine.cqp.rcp/OSGI-INF/l10n/bundle_fr.properties (revision 1436) | ||
---|---|---|
6 | 6 |
command.label.148=Open biblio |
7 | 7 |
command.name.52=Corpus in binary format... |
8 | 8 |
command.label.8=Partition |
9 |
command.name.63=Open Biblio
|
|
10 |
command.name.2=Create Partition
|
|
9 |
command.name.63=Ouvrir la Bibliographie
|
|
10 |
command.name.2=Partition |
|
11 | 11 |
command.tooltip.4=Divide the selected item in several parts |
12 | 12 |
command.tooltip.71=Export as a binary file |
13 |
command.name = Sous-corpus |
tmp/org.txm.searchengine.cqp.rcp/OSGI-INF/l10n/bundle.properties (revision 1436) | ||
---|---|---|
10 | 10 |
command.name.2=Create Partition |
11 | 11 |
command.tooltip.4=Divide the selected item in several parts |
12 | 12 |
command.tooltip.71=Export as a binary file |
13 |
|
|
14 |
command.name = Subcorpus |
tmp/org.txm.searchengine.cqp.rcp/plugin.xml (revision 1436) | ||
---|---|---|
27 | 27 |
<command |
28 | 28 |
defaultHandler="org.txm.searchengine.cqp.rcp.handlers.base.CreateSubCorpus" |
29 | 29 |
id="org.txm.searchengine.cqp.rcp.handlers.base.CreateSubCorpus" |
30 |
name="Subcorpus">
|
|
30 |
name="%command.name">
|
|
31 | 31 |
<commandParameter |
32 | 32 |
id="CorpusParameter" |
33 | 33 |
name="%commandParameter.name.0" |
tmp/org.txm.rcp/plugin_customization.ini (revision 1436) | ||
---|---|---|
1 | 1 |
org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = true |
2 | 2 |
org.eclipse.equinox.p2.ui.sdk.scheduler/enabled = true |
3 |
org.eclipse.ui/KEY_CONFIGURATION_ID=org.txm.rcp.scheme |
|
4 | 3 |
org.eclipse.core.net.prefs/proxiesEnabled=true |
5 | 4 |
org.eclipse.core.net.prefs/systemProxiesEnabled=true |
6 | 5 |
|
tmp/org.txm.rcp/src/main/java/org/txm/rcp/commands/workspace/Load079BinaryCorpus.java (revision 1436) | ||
---|---|---|
75 | 75 |
return null; |
76 | 76 |
} |
77 | 77 |
|
78 |
System.out.println(NLS.bind("Loading the {0} binary corpus as a TXM 0.7.9 corpus...", zipFile.getName())); |
|
79 |
|
|
78 | 80 |
//ZIPPED FILE |
79 | 81 |
monitor.beginTask(TXMUIMessages.loadingBinaryCorpus, 100); |
80 | 82 |
monitor.subTask(TXMUIMessages.extractingBinaryCorpus); |
tmp/org.txm.rcp/src/main/java/org/txm/rcp/commands/workspace/Load080BinaryCorpus.java (revision 1436) | ||
---|---|---|
70 | 70 |
return null; |
71 | 71 |
} |
72 | 72 |
|
73 |
System.out.println(NLS.bind("Loading the {0} binary corpus as a TXM 0.8.0 corpus...", zipFile.getName())); |
|
74 |
|
|
73 | 75 |
try { |
74 | 76 |
//System.out.println(NLS.bind(Messages.AddBase_29, zipFile, corporaDir)); |
75 | 77 |
Zip.decompress(zipFile, Toolbox.workspace.getLocation(), false, monitor); |
tmp/org.txm.rcp/src/main/java/org/txm/rcp/handlers/results/OpenPreferences.java (revision 1436) | ||
---|---|---|
1 |
package org.txm.rcp.handlers.results; |
|
2 |
|
|
3 |
import org.eclipse.core.commands.ExecutionEvent; |
|
4 |
import org.eclipse.core.commands.ExecutionException; |
|
5 |
import org.eclipse.swt.widgets.Shell; |
|
6 |
import org.eclipse.ui.PlatformUI; |
|
7 |
import org.eclipse.ui.dialogs.PreferencesUtil; |
|
8 |
import org.eclipse.ui.internal.dialogs.WorkbenchPreferenceDialog; |
|
9 |
import org.txm.rcp.handlers.BaseAbstractHandler; |
|
10 |
|
|
11 |
public class OpenPreferences extends BaseAbstractHandler { |
|
12 |
|
|
13 |
@Override |
|
14 |
public Object execute(ExecutionEvent event) throws ExecutionException { |
|
15 |
|
|
16 |
Shell s = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getShell(); |
|
17 |
|
|
18 |
|
|
19 |
WorkbenchPreferenceDialog dialog = (WorkbenchPreferenceDialog)PreferencesUtil.createPreferenceDialogOn(s, null, null, null); |
|
20 |
dialog.open(); |
|
21 |
// Object o = this.getCorporaViewSelectedObject(event); |
|
22 |
// TreeViewer tree = dialog.getTreeViewer(); |
|
23 |
// ViewerFilter[] filters = tree.getFilters(); |
|
24 |
// |
|
25 |
// PreferencePatternFilter ppf = new PreferencePatternFilter(); |
|
26 |
// ppf.setPattern("TXM"); |
|
27 |
// |
|
28 |
// ViewerFilter[] newfilters = new ViewerFilter[filters.length+1]; |
|
29 |
// System.arraycopy(filters, 0, newfilters, 0, filters.length); |
|
30 |
// newfilters[filters.length] = ppf; |
|
31 |
// tree.setFilters(newfilters); |
|
32 |
|
|
33 |
// PreferencePatternFilter ppf = new PreferencePatternFilter(); |
|
34 |
// ppf.setPattern(o.getClass().getSimpleName()); |
|
35 |
// dialog.getTreeViewer().setFilters(ppf); |
|
36 |
return null; |
|
37 |
} |
|
38 |
} |
|
0 | 39 |
tmp/org.txm.rcp/plugin.xml (revision 1436) | ||
---|---|---|
36 | 36 |
</property> |
37 | 37 |
<property |
38 | 38 |
name="windowImages" |
39 |
value="icons/logo/TXM logo 16x16.png,icons/logo/TXM logo.png,icons/logo/TXM logo 48x48.png,icons/logo/TXM logo 64x64.png,icons/logo/TXM logo 128x128.png,icons/logo/TXM logo 256x256.png">
|
|
39 |
value="icons/logo/TXM logo 16x16.png,icons/logo/TXM_logo.png,icons/logo/TXM logo 48x48.png,icons/logo/TXM_logo_64x64.png,icons/logo/TXM logo 128x128.png,icons/logo/TXM logo 256x256.png">
|
|
40 | 40 |
</property> |
41 | 41 |
<property |
42 | 42 |
name="startupForegroundColor" |
... | ... | |
281 | 281 |
<extension |
282 | 282 |
point="org.eclipse.ui.preferencePages"> |
283 | 283 |
<page |
284 |
category="org.txm.rcp.preferences.TextometriePreferencePage"
|
|
284 |
category="org.txm.rcp.preferences.TXMMainPreferencePage"
|
|
285 | 285 |
class="org.txm.rcp.preferences.UserPreferencePage" |
286 | 286 |
id="org.txm.rcp.preferences.UserPreferencePage" |
287 | 287 |
name="%page.name"> |
288 | 288 |
</page> |
289 | 289 |
<page |
290 |
category="org.txm.rcp.preferences.TextometriePreferencePage"
|
|
290 |
category="org.txm.rcp.preferences.TXMMainPreferencePage"
|
|
291 | 291 |
class="org.txm.rcp.preferences.AdvancedPreferencePage" |
292 | 292 |
id="org.txm.rcp.preferences.AdvancePreferencePage" |
293 | 293 |
name="%page.name.0"> |
294 | 294 |
</page> |
295 | 295 |
<page |
296 | 296 |
class="org.txm.rcp.preferences.TXMMainPreferencePage" |
297 |
id="org.txm.rcp.preferences.TextometriePreferencePage"
|
|
297 |
id="org.txm.rcp.preferences.TXMMainPreferencePage"
|
|
298 | 298 |
name="%page.name.6"> |
299 | 299 |
</page> |
300 | 300 |
<page |
... | ... | |
2099 | 2099 |
visible="true"> |
2100 | 2100 |
</separator> |
2101 | 2101 |
<command |
2102 |
commandId="org.eclipse.ui.window.preferences"
|
|
2102 |
commandId="org.txm.rcp.handlers.results.OpenPreferences"
|
|
2103 | 2103 |
icon="icons/functions/prefs.png" |
2104 | 2104 |
label="%command.label.4" |
2105 | 2105 |
style="push"> |
2106 | 2106 |
</command> |
2107 |
<command |
|
2108 |
commandId="org.txm.rcp.commands.workspace.RebuildCorpus" |
|
2109 |
label="Reconstruire" |
|
2110 |
style="push"> |
|
2111 |
<visibleWhen |
|
2112 |
checkEnabled="false"> |
|
2113 |
<or> |
|
2114 |
<reference |
|
2115 |
definitionId="OneProjectSelected"> |
|
2116 |
</reference> |
|
2117 |
<reference |
|
2118 |
definitionId="OneMainCorpusSelected"> |
|
2119 |
</reference> |
|
2120 |
</or> |
|
2121 |
</visibleWhen> |
|
2122 |
</command> |
|
2123 | 2107 |
|
2124 | 2108 |
</menuContribution> |
2125 | 2109 |
|
... | ... | |
2650 | 2634 |
id="org.txm.rcp.handlers.results.HideIntermediateParents" |
2651 | 2635 |
name="Hide intermediate parents"> |
2652 | 2636 |
</command> |
2637 |
<command |
|
2638 |
categoryId="org.txm.rcp.categories.results" |
|
2639 |
defaultHandler="org.txm.rcp.handlers.results.OpenPreferences" |
|
2640 |
description="Open the preferences pages concerning the current selection" |
|
2641 |
id="org.txm.rcp.handlers.results.OpenPreferences" |
|
2642 |
name="OpenPreferences"> |
|
2643 |
</command> |
|
2653 | 2644 |
</extension> |
2654 | 2645 |
<extension |
2655 | 2646 |
id="scripts" |
... | ... | |
3083 | 3074 |
sequence="M1+S"> |
3084 | 3075 |
</key> |
3085 | 3076 |
</extension> |
3086 |
<extension |
|
3077 |
<!-- <extension
|
|
3087 | 3078 |
point="org.eclipse.e4.ui.css.swt.theme"> |
3088 | 3079 |
<theme |
3089 | 3080 |
basestylesheeturi="css/default_linux.css" |
... | ... | |
3103 | 3094 |
label="TXM" |
3104 | 3095 |
os="macosx"> |
3105 | 3096 |
</theme> |
3106 |
</extension> |
|
3097 |
</extension>-->
|
|
3107 | 3098 |
<extension |
3108 | 3099 |
point="org.eclipse.ui.contexts"> |
3109 | 3100 |
<context |
tmp/org.txm.chartsengine.rcp/src/org/txm/chartsengine/rcp/preferences/ChartsEnginePreferencePage.java (revision 1436) | ||
---|---|---|
151 | 151 |
// FIXME: doesn't work, works only when we quit the page and go back to it |
152 | 152 |
// Refreshes the page to recreate the default export format combo box |
153 | 153 |
// PlatformUI.getWorkbench().getPreferenceManager(). |
154 |
// find("org.txm.rcp.preferences.TextometriePreferencePage/org.txm.rcp.preferences.AdvancePreferencePage/ChartsEnginePreferencePage").createPage(); //$NON-NLS-1$
|
|
154 |
// find("org.txm.rcp.preferences.TXMMainPreferencePage/org.txm.rcp.preferences.AdvancePreferencePage/ChartsEnginePreferencePage").createPage(); //$NON-NLS-1$
|
|
155 | 155 |
|
156 | 156 |
//FIXME: old code |
157 | 157 |
// Refresh the User\Export preference page to update "Default charts export file format" combo box |
158 | 158 |
// PlatformUI.getWorkbench().getPreferenceManager(). |
159 |
// find("org.txm.rcp.preferences.TextometriePreferencePage/" + UserPreferencePage.ID + "/" + ExportPreferencePage.ID).createPage(); //$NON-NLS-1$ //$NON-NLS-2$
|
|
159 |
// find("org.txm.rcp.preferences.TXMMainPreferencePage/" + UserPreferencePage.ID + "/" + ExportPreferencePage.ID).createPage(); //$NON-NLS-1$ //$NON-NLS-2$
|
|
160 | 160 |
} |
161 | 161 |
|
162 | 162 |
// // FIXME: useless ? |
Formats disponibles : Unified diff