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