==== Julian: Tue Jul 12 13:05:44 PDT 2005 ===============================

Dear Eric,

The change that occured was that `enable_sensitive' for descendents of
EV_TEXT, explicitly set the background color back to white. We changed
this so that it only set the background color to white if the text was
editable. The problem is that for an EV_RICH_TEXT, when disabling the
editable status, it is not grayed out in the same fashion as an EV_TEXT.

The code you had that set the foreground color to white was not required.
If you wish to see the effects of the change, it is `enable' from 
EV_TEXT_IMP. Just remove the `is_editable' check to see the old behavior.

In the same fashion you called `set_background_color' after disabling
edit in the text, I suggest that you also do the same after calling
`enable_sensitive'. The exact behavior regarding when and where the
background is grayed out for texts is currently somewhat fuzzy in 
EiffelVision2 and this definitely needs to be clarified and checked.



==== Julian: Tue Jul 12 13:05:44 PDT 2005 ===============================