Play-/Source/ui_android/java/com/virtualapplications/play/SettingsManager.java

package com.virtualapplications.play;

public class SettingsManager
{
	static
	{
		System.loadLibrary("Play");
	}

	public static native void save();

	public static native void registerPreferenceBoolean(String name, boolean defaultValue);

	public static native boolean getPreferenceBoolean(String name);

	public static native void setPreferenceBoolean(String name, boolean value);

	public static native int getPreferenceInteger(String name);

	public static native void setPreferenceInteger(String name, int value);
}