if (os_type != os_android)
{
    tip[opFullscreen] = get_text("OptionsDisplay", "Fullscreen_Tip")
    tip[opScale] = get_text("OptionsDisplay", "DisplayScale_Tip")
}
tip[opVSync] = get_text("OptionsDisplay", "VSync_Tip")
tip[opSensitivity] = get_text("Misc", "SensitivityMode_Tip")
tip[opWidescreen] = get_text("Misc", "Widescreen_Tip")
tip[opShowHUD] = get_text("OptionsDisplay", "HUDDisplay_Tip")
tip[opShowMap] = get_text("OptionsDisplay", "HUDMap_Tip")
tip[opCounterStyle] = get_text("OptionsDisplay", "MonsterCounter_Tip")
tip[opShowHints] = get_text("OptionsDisplay", "Hints_Tip")
if buttonsEnabled
    tip[opButtonType] = get_text("ExtrasMenu", "Controller_Tip")
tip[opShowScans] = get_text("OptionsDisplay", "ScanNotifications_Tip")
tip[opLanguage] = get_text("OptionsDisplay", "Language_Tip")
tip[menuSize] = get_text("GlobalOptions", "ExitMain_Tip")