Révision 356
| tmp/org.txm.lexicaltable.rcp/plugin.xml (revision 356) | ||
|---|---|---|
| 165 | 165 |
ifEmpty="false" |
| 166 | 166 |
operator="and"> |
| 167 | 167 |
<instanceof |
| 168 |
value="org.txm.lexicaltable.core.statsengine.data.LexicalTable">
|
|
| 168 |
value="org.txm.lexicaltable.core.functions.LexicalTable">
|
|
| 169 | 169 |
</instanceof> |
| 170 | 170 |
</iterate> |
| 171 | 171 |
</with> |
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/preferences/TXMPreferenceStore.java (revision 356) | ||
|---|---|---|
| 4 | 4 |
import org.eclipse.ui.preferences.ScopedPreferenceStore; |
| 5 | 5 |
|
| 6 | 6 |
/** |
| 7 |
* Convenience to get scoped preference instance store.
|
|
| 7 |
* Convenience class to get a scoped preference instance store.
|
|
| 8 | 8 |
* |
| 9 | 9 |
* @author sjacquot |
| 10 | 10 |
* |
| 11 | 11 |
*/ |
| 12 |
// FIXME: add methods from the old TXMPreferences class? (getBoolean, getInt, set, etc.) |
|
| 13 | 12 |
public class TXMPreferenceStore extends ScopedPreferenceStore {
|
| 14 | 13 |
|
| 15 | 14 |
/** |
Formats disponibles : Unified diff