Method getSettingsFile

android/src/org/coolreader/CoolReader.java:1757–1761

(int profile)

	}
	
	public File getSettingsFile(int profile) {
		if (profile == 0)
			return propsFile;
		return new File(propsFile.getAbsolutePath() + ".profile" + profile);
	}
	
	File propsFile;
	private static final String SETTINGS_FILE_NAME = "cr3.ini";