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