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