F4 fails for Multiple Objects

[Paolo F Cantoni]

You can select multiple elements and change the Default Appearance [F4] in one go.  However, this process gets the

• Use Default Color checkbox wrong.  THe box is always set to true (regardless of the settings in the elements selected).  This means that you CAN'T use it to reset multiple elements back to their default (in my case stereotyped) configuration.

It means you have to (painfully - sometimes very painfully) reset the elments manually on an individual basis.

The [  ] Use Default Color checkbox needs to be tri-state and be set according to the aggregate state of the selected elements.

Reported,
Paolo