[GnomePlatform] Preference strings for terminal selection