Re: [isabelle] Isabelle2016-RC2 available (Editor's Text Area vs File)

On Thu, 28 Jan 2016, Alfio Martini wrote:

when I load another theory file (via open), it does not appear in text area of the editor. I have to select it from the drop-down buffer list switcher in order to make it visible in the edit pane's text area.

The snapshot version from 23/12/2015 does not exhibit this behaviour.

Can you try as well? The main difference is the Java 8 version. Maybe Oracle has introduced
new problems with the update.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.