Révision 1044
tmp/org.txm.rcp/src/main/java/org/txm/rcp/handlers/results/SetTXMResultPersistentState.java (revision 1044) | ||
---|---|---|
80 | 80 |
|
81 | 81 |
} |
82 | 82 |
|
83 |
/** |
|
84 |
* Display the checked mark in the menu item when the menu is created |
|
85 |
*/ |
|
83 | 86 |
@Override |
84 | 87 |
public void updateElement(UIElement element, Map parameters) { |
85 |
// System.out.println("E="+element+" params="+parameters); |
|
86 |
// System.out.println(""); |
|
87 |
//FIXME the method is called during RCP startup -> but the corpora view has no selection |
|
88 |
// Object object = this.getCorporaViewSelectedObject(null); |
|
89 |
// if(object instanceof TXMResult) { |
|
90 |
// element.setChecked(((TXMResult)object).isUserPersistable()); |
|
91 |
// } |
|
88 |
Object object = CorporaView.getFirstSelectedObject(); |
|
89 |
//element. |
|
90 |
if(object != null && object instanceof TXMResult) { |
|
91 |
element.setChecked(((TXMResult)object).isUserPersistable()); |
|
92 |
} |
|
92 | 93 |
} |
93 |
|
|
94 | 94 |
} |
tmp/org.txm.rcp/plugin.xml (revision 1044) | ||
---|---|---|
2023 | 2023 |
</or> |
2024 | 2024 |
</visibleWhen> |
2025 | 2025 |
</command> |
2026 |
<command |
|
2027 |
commandId="org.txm.rcp.handlers.results.SetTXMResultPersistentState" |
|
2028 |
icon="icons/decorators/bullet_green.png" |
|
2029 |
style="toggle"> |
|
2030 |
<visibleWhen |
|
2031 |
checkEnabled="false"> |
|
2032 |
<and> |
|
2033 |
<reference |
|
2034 |
definitionId="OneTXMResultSelected"> |
|
2035 |
</reference> |
|
2036 |
<and> |
|
2037 |
<not> |
|
2038 |
<reference |
|
2039 |
definitionId="OneTxmObjectSelected"> |
|
2040 |
</reference> |
|
2041 |
</not> |
|
2042 |
</and> |
|
2043 |
</and> |
|
2044 |
</visibleWhen> |
|
2045 |
</command> |
|
2046 | 2026 |
<separator |
2047 | 2027 |
name="org.txm.rcp.corporaview.corpus.manage" |
2048 | 2028 |
visible="true"> |
... | ... | |
2087 | 2067 |
</visibleWhen> |
2088 | 2068 |
</command> |
2089 | 2069 |
<command |
2070 |
commandId="org.txm.rcp.handlers.results.SetTXMResultPersistentState" |
|
2071 |
icon="icons/decorators/bullet_green.png" |
|
2072 |
style="toggle"> |
|
2073 |
<visibleWhen |
|
2074 |
checkEnabled="false"> |
|
2075 |
<and> |
|
2076 |
<reference |
|
2077 |
definitionId="OneTXMResultSelected"> |
|
2078 |
</reference> |
|
2079 |
<and> |
|
2080 |
<not> |
|
2081 |
<reference |
|
2082 |
definitionId="OneTxmObjectSelected"> |
|
2083 |
</reference> |
|
2084 |
</not> |
|
2085 |
</and> |
|
2086 |
</and> |
|
2087 |
</visibleWhen> |
|
2088 |
</command> |
|
2089 |
<command |
|
2090 | 2090 |
commandId="org.eclipse.ui.window.preferences" |
2091 | 2091 |
icon="icons/functions/prefs.png" |
2092 | 2092 |
label="%command.label.4" |
... | ... | |
2692 | 2692 |
defaultHandler="org.txm.rcp.handlers.results.SetTXMResultPersistentState" |
2693 | 2693 |
description="Store a result over TXM sessions" |
2694 | 2694 |
id="org.txm.rcp.handlers.results.SetTXMResultPersistentState" |
2695 |
name="Auto-save this result">
|
|
2695 |
name="Keep this result">
|
|
2696 | 2696 |
</command> |
2697 | 2697 |
</extension> |
2698 | 2698 |
<extension |
Formats disponibles : Unified diff