[MiKTeX] Red star

[Christoph H. <chr...@ar...>]

Dear MikTeX users,

I was quite surprised when suddenly a small red star appeared in WinEdt when
pressing (by accident...) the AltGr key together with the space bar. When
compiling nothing happens. So, is it a bug or a feature (if so, which
one?)??

Cheers,
Christoph