Forums Feature Suggestions Highlight Event or $highlighted Identifier

By the way, it would be nice if something was done about the inherent limitation of such a syntax (problematic when $1- from the event happens to be a number), essentially the same issue as with $timer().