Rename “Basic IDE Options” to just “Basic IDE”

None of the other Options/Preferences pages have the word “Options”
in their names, because: a) it’s obvious that they’re options, and b)
having that word repeated there contravenes the macOS convention of
calling the options “preferences”.

Change-Id: I7349d20eefc50d5a92d6442a256249f64db688e7
This commit is contained in:
Adolfo Jayme Barrientos 2017-08-07 04:52:45 -05:00
parent 7915f35d7f
commit 43f159dafa

View File

@ -39,7 +39,7 @@ const std::pair<const char*, sal_uInt16> SID_GENERAL_OPTIONS_RES[] =
{ NC_("SID_GENERAL_OPTIONS_RES", "Application Colors"), RID_SVXPAGE_COLORCONFIG },
{ NC_("SID_GENERAL_OPTIONS_RES", "Accessibility"), RID_SVXPAGE_ACCESSIBILITYCONFIG },
{ NC_("SID_GENERAL_OPTIONS_RES", "Advanced"), RID_SVXPAGE_OPTIONS_JAVA },
{ NC_("SID_GENERAL_OPTIONS_RES", "Basic IDE Options"), RID_SVXPAGE_BASICIDE_OPTIONS },
{ NC_("SID_GENERAL_OPTIONS_RES", "Basic IDE"), RID_SVXPAGE_BASICIDE_OPTIONS },
{ NC_("SID_GENERAL_OPTIONS_RES", "Online Update"), RID_SVXPAGE_ONLINEUPDATE },
{ NC_("SID_GENERAL_OPTIONS_RES", "OpenCL"), RID_SVXPAGE_OPENCL }
};