Method saveSettings

android/src/org/coolreader/CoolReader.java:2001–2008

(int profile, Properties settings)

	}
	
	public void saveSettings(int profile, Properties settings) {
		File f = getSettingsFile(profile);
		if (profile != 0) {
			settings = filterProfileSettings(settings);
			settings.setInt(Settings.PROP_PROFILE_NUMBER, profile);
		}
		saveSettings(f, settings);
	}
	
	public void saveSettings(File f, Properties settings)
	{