Change from inverse blink to darker blink

[mohler]

Hi Folks-

Bill Mohler here.  I have seen a lot of new fixes go up, which js great.  One problem I have always seen and which I do not yet know to be solved:  bad color logic for blinking of selected objects.  As I remember it when last I tested, a list-selected object blinks between its native color and the RGB inverse.  This sounds great in theory but in practice does a bad job of allowing BOTH visual focus on the object AND certainty of its identity.  It is actually kind of a nightmare.

Please please consider simply dimming intensity (across all 3 channels proportionately) for the blink effect.  In Java, a color object has a .darker() method.  Not sure if true for JScript.  If not, the code should be trivial anyway.  This will be a little fix with big impact on user experience.  I promise.

Thanks,

Bill