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