No commit message

No commit message

src/fr/ill/ics/util/ConfigManager.java

@@ -377,6 +377,44 @@ public class ConfigManager {
 		propertyValue = propertyValue.replace("~cross", SpecialCharacter.cross);
 		properties.put(propertyName, propertyValue);
 	}
+	
+	
+	public String replaceSpecialCharacters(String string) {
+		string = string.replace("~alpha", SpecialCharacter.alpha);
+		string = string.replace("~beta", SpecialCharacter.beta);
+		string = string.replace("~gamma", SpecialCharacter.gamma);
+		string = string.replace("~delta", SpecialCharacter.delta);
+		string = string.replace("~epsilon", SpecialCharacter.epsilon);
+		string = string.replace("~zeta", SpecialCharacter.zeta);
+		string = string.replace("~eta", SpecialCharacter.eta);
+		string = string.replace("~theta", SpecialCharacter.theta);
+		string = string.replace("~iota", SpecialCharacter.iota);
+		string = string.replace("~kappa", SpecialCharacter.kappa);
+		string = string.replace("~lambda", SpecialCharacter.lambda);
+		string = string.replace("~mu", SpecialCharacter.mu);
+		string = string.replace("~xi", SpecialCharacter.xi);
+		string = string.replace("~omicron", SpecialCharacter.omicron);
+		string = string.replace("~pi", SpecialCharacter.pi);
+		string = string.replace("~rho", SpecialCharacter.rho);
+		string = string.replace("~sigma", SpecialCharacter.sigma);
+		string = string.replace("~tau", SpecialCharacter.tau);
+		string = string.replace("~upsilon", SpecialCharacter.upsilon);
+		string = string.replace("~phi", SpecialCharacter.phi);
+		string = string.replace("~chi", SpecialCharacter.chi);
+		string = string.replace("~psi", SpecialCharacter.psi);
+		string = string.replace("~omega", SpecialCharacter.omega);
+		string = string.replace("~Delta", SpecialCharacter.Delta);
+		string = string.replace("~Omega", SpecialCharacter.Omega);
+		string = string.replace("~degree", SpecialCharacter.degree);
+		string = string.replace("~angstromminusone", SpecialCharacter.angstromminusone);
+		string = string.replace("~angstrom", SpecialCharacter.angstrom);
+		string = string.replace("~superscriptminus", SpecialCharacter.superscriptminus);
+		string = string.replace("~superscriptone", SpecialCharacter.superscriptone);
+		string = string.replace("~superscripttwo", SpecialCharacter.superscripttwo);
+		string = string.replace("~superscriptthree", SpecialCharacter.superscriptthree);
+		string = string.replace("~cross", SpecialCharacter.cross);
+		return string;
+	}
 
 
 	public void setProperty(String propertyKey, String propertyValue) {