On Mon, 24 May 2010, Martin wrote: > What are the opinions. Do you like/dislike the new highlighting of > case-labels? > e.g > case a of > *foo* : > *bar*, *def*: > end; > > In your opinion, should it be: > - off by default > - italics > - underline > - other / color / frame? I vote for off by default. Michael.