Actually, my intention was the opposite. Given a line like...

    message Customer {

I was thinking the word "Customer" should be highlighted, and *not* the word "message".