Revision 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
	

Also available in: Unified diff