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