Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
avoid crash (NPE) when properties are changed during prover startup (e.g. by font scaling);
authorwenzelm
Sun, 10 Feb 2013 22:03:21 +0100
changeset 51083 10062c40ddaa
parent 51081 70a4c11cd79e
child 51084 cbae5c5ffd23
avoid crash (NPE) when properties are changed during prover startup (e.g. by font scaling);
src/Pure/System/session.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/session.scala	Thu Feb 07 13:20:05 2013 +0100
+++ b/src/Pure/System/session.scala	Sun Feb 10 22:03:21 2013 +0100
@@ -407,7 +407,7 @@
           reply(())
 
         case Session.Global_Options(options) if prover.isDefined =>
-          prover.get.options(options)
+          if (is_ready) prover.get.options(options)
 
         case Cancel_Execution if prover.isDefined =>
           prover.get.cancel_execution()
isabelle