[isabelle-dev] Outdated state after opening theories from images

[Dmitriy Traytel]

This refers to Isabelle/d71c2737ee21.

The minimal example is really minimal this time:

theory Scratch
imports Main
begin

end

In Isabelle/jEdit this loads fine. Then Control+click on Main, wait a 
moment for the text to turn #EEE3E3, close Main.thy and Scratch.thy is 
now outdated as well. The only thing that helps now is a jEdit restart.

Dmitriy