isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 11 Oct 2013 23:12:04 +0200 more consistent state and GUI update, e.g. relevant for full-screen mode switch with its exit/init side-effect;

changeset

wenzelm [Fri, 11 Oct 2013 23:12:04 +0200] rev 54327

more consistent state and GUI update, e.g. relevant for full-screen mode switch with its exit/init side-effect;

Fri, 11 Oct 2013 22:11:07 +0200 obsolete;

changeset

wenzelm [Fri, 11 Oct 2013 22:11:07 +0200] rev 54326

obsolete;

Fri, 11 Oct 2013 20:45:21 +0200 clarified Editor.current_command: allow outdated snapshot;

changeset

wenzelm [Fri, 11 Oct 2013 20:45:21 +0200] rev 54325

clarified Editor.current_command: allow outdated snapshot; more accurate Document_View.perspective based on current_command for proper state output (see also 88c6e630c15f and ef62204a126b);

Fri, 11 Oct 2013 12:06:26 +0200 make double sure that AWT/Swing antialiasing is enabled (see also http://www.jedit.org/users-guide/jvm-options.html and jdk/src/share/classes/sun/awt/SunToolkit.java);

changeset

wenzelm [Fri, 11 Oct 2013 12:06:26 +0200] rev 54324

make double sure that AWT/Swing antialiasing is enabled (see also http://www.jedit.org/users-guide/jvm-options.html and jdk/src/share/classes/sun/awt/SunToolkit.java);

Thu, 10 Oct 2013 18:02:08 +0200 more documentation;

changeset

wenzelm [Thu, 10 Oct 2013 18:02:08 +0200] rev 54323