Command to display setCDKMenuTitleHighlight manual in Linux: $ man 3 setCDKMenuTitleHighlight
setCDKMenuTitleHighlight
$ man 3 setCDKMenuTitleHighlight
Please check the manual page cdk_menu(3).