Hi Marcus,

Marcus Denker wrote:
> On Fri, Oct 10, 2003 at 11:01:03AM -0500, Ken Causey wrote:
> 
>>I would just like to cast a vote in favor of the arrow/underscore.  I
>>find it quite useful to identify assignments at a glance.  I would also
>>like to note that I normally use pretty printing mode in the browser and
>>would be bothered by having my arrows replaced.  If any change like this
>>is made to the image please make it changeable via a preference.
>>
> 
> The approved change does exactly that:
> 
> | This changeset adds a preference such that if browseWithPretty print is
> | enables, all assignment operators with display as :=.

I guess Ken'd rather have a preference prettyPrintWithArrow.


Kind regards,

Ingo