Code Triplecheck / Code / Diff of /tool/src/utils/Settings.java

Diff of /tool/src/utils/Settings.java [r3] .. [r22]

Switch to unified view


...
     * @param settingsFile The XML file where all settings will be kept
     */
    public Settings(File settingsFile, String comment){
        properties = new Properties();
        this.settingsFile = settingsFile;
        if(settingsFile == null){
            return;
        }
        this.comment = comment;
        if(settingsFile.exists()){
            load();
        }
    }

	a/tool/src/utils/Settings.java		b/tool/src/utils/Settings.java
	...		...
33	* @param settingsFile The XML file where all settings will be kept	33	* @param settingsFile The XML file where all settings will be kept
34	*/	34	*/
35	public Settings(File settingsFile, String comment){	35	public Settings(File settingsFile, String comment){
36	properties = new Properties();	36	properties = new Properties();
37	this.settingsFile = settingsFile;	37	this.settingsFile = settingsFile;
		38	if(settingsFile == null){
		39	return;
		40	}
38	this.comment = comment;	41	this.comment = comment;
39	if(settingsFile.exists()){	42	if(settingsFile.exists()){
40	load();	43	load();
41	}	44	}
42	}	45	}