tip[0] = get_text("OptionsDisplay", "Fullscreen_Tip")
if (os_type == os_android)
    tip[0] = get_text("OptionsDisplay", "VSync_Tip")
tip[1] = get_text("OptionsDisplay", "DisplayScale_Tip")
tip[2] = get_text("OptionsDisplay", "VSync_Tip")
tip[3] = get_text("OptionsDisplay", "HUDDisplay_Tip")
tip[4] = get_text("OptionsDisplay", "HUDMap_Tip")
tip[5] = get_text("OptionsDisplay", "MonsterCounter_Tip")
tip[6] = get_text("OptionsDisplay", "Hints_Tip")
tip[7] = get_text("ExtrasMenu", "Controller_Tip")
tip[8] = get_text("OptionsDisplay", "ScanNotifications_Tip")
tip[9] = get_text("OptionsDisplay", "Language_Tip")
tip[10] = get_text("Misc", "SensitivityMode_Tip")
tip[11] = get_text("Misc", "Widescreen_Tip")
tip[12] = get_text("GlobalOptions", "ExitMain_Tip")