DOC HOME
SITE MAP
MAN PAGES
GNU INFO
SEARCH
set_menu_grey
'set_menu_grey' not found in section S-osr5, but available here:
/usr/man2/html.S/menu_attributes.S.html