Change from inverse blink to darker blink

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

Start by locating the JavaScript code responsible for blinking selected objects and inspect how it currently switches to the RGB inverse. Change the blink behavior to proportionately dim all three color channels, then verify that selected objects remain visually identifiable while blinking.

Written by the indexing model from the issue text.