Révision 1015
tmp/org.txm.core/src/java/org/txm/core/preferences/TXMPreferences.java (revision 1015) | ||
---|---|---|
190 | 190 |
public String getPreferencesNode() { |
191 | 191 |
return preferencesNode; |
192 | 192 |
} |
193 |
|
|
194 |
|
|
195 | 193 |
|
196 | 194 |
public TXMPreferences() { |
197 | 195 |
super(); |
tmp/org.txm.progression.core/src/org/txm/progression/core/preferences/ProgressionPreferences.java (revision 1015) | ||
---|---|---|
44 | 44 |
|
45 | 45 |
|
46 | 46 |
public static TXMPreferences getInstance() { |
47 |
if (!TXMPreferences.instances.containsKey(ProgressionPreferences.class)) { |
|
48 |
new ProgressionPreferences(); |
|
49 |
} |
|
47 | 50 |
return TXMPreferences.instances.get(ProgressionPreferences.class); |
48 | 51 |
} |
49 | 52 |
|
Formats disponibles : Unified diff