Closed hannesm closed 11 years ago
fix highlighting: unhighlight "instance", highlight "instance?"
I agree. Not sure if instance? is special enough to highlight, but it should not hurt.
fix highlighting: unhighlight "instance", highlight "instance?"