[isabelle-dev] Annotations in Theories panel not visible

[Lars Noschinski]

Hi,

I just noticed (in f0d2609c4cdc) that not all warnings and errors are
visible in the Theories panel. If I run

   isabelle jedit -l Pure src/Pure/Main.thy

and watch the Theories panel, I see that there are some warning e.g. in
Orderings. However, as soon as Orderings is finished, the annotations
for Orderings disappear (in the Theories panel). This happens with some,
but not all theories (e.g., Code_Generator or Ctr_Sugar keep their
annotations). This happens not only for warnings, but also for errors.

  -- Lars