/**
* Gets a property from the INI file.
*
* @param key.
* @return String.
*/
public static String getProperty(String key) {
long k = NativeHelper.toNativeString(key, false);
long r = NativeHelper.call(0, "INI_GetProperty", k);
String res = null;
if (r != 0) {
res = NativeHelper.getString(r, 4096, false);
}
NativeHelper.free(k);
return res;
}
/** Sets the splash screen text font. */
public static void setTextFont(String text, int height) {
long ptr = NativeHelper.toNativeString(text, false);
NativeHelper.call(0, "SplashScreen_SetTextFont", ptr, height);
NativeHelper.free(ptr);
}
/** Writes splash screen text. */
public static void setText(String text, int x, int y) {
long ptr = NativeHelper.toNativeString(text, false);
NativeHelper.call(0, "SplashScreen_SetText", ptr, x, y);
NativeHelper.free(ptr);
}
