Hello JMP users and scripters,
I was just curious if anyone knew whether or not the color of a button box (when hovering over it) can be customized -- either through File > Preferences, or through JSL with your own code. See the "OK" button box in the image below -- it changes to a light blue color when you hover over it.

I tried searching through the scripting guide PDF and Scripting Index, but couldn't find anything about the hover color of a button box. I know the background color can be changed, but that's not what I'm after.
After reading the Scripting Guide, it seems like it is only a preferences thing, but I couldn't find anything there either.
Thanks in advance for any suggestions!,
DS