2016-08-11 13:57 GMT+02:00 Christophe Demarey <christophe.demarey@inria.fr>:
Good idea!
I like it and it works well.
I now wonder if it should not be enabled as default. For that, maybe the highlight should be styled a bit (e.g. lighter colors) to do not perturb the user when not really needed but still easy to see. Another idea would be to show it only if you press a key while mouse over (e.g shift).

I remember another nice idea to underline keyword messages with different colors.��