Something has changed in the past weeks (not sure for how long) and I have not figured out what exactly.
Probably it is me doing something differently while editing an input line. Below is an example where the name data is not italic any more
Anybody else experiencing the same?
My interface seetings:
