A grayed checkmark is displayed when an option has been selected on the General options pages for some programming languages, but not for others.

当在“常规”选项页上为某些编程语言选择了一个选项，而没有为其他编程语言选择该选项时，会显示一个灰色复选标记。

youdao

How to: Create Custom Options Pages.

如何：创建自定义选项页。

youdao

It said 13, 000 volunteers helped translate its menu options and support pages into the languages.

BBC: Twitter page in Farsi

Google could use the company to expand its advertising service from small text ads to multimedia display ads and offer more advertising options to a larger network of Web pages.

FORBES: Magazine Article

Besides Google Docs, I've also used a number of free or cheaper options, including OpenOffice and Apple's Pages and Numbers.

NPR: Review: Microsoft Office Pricey, But Good Value