changeset 70105 | eadd87383e30 |
parent 69854 | cc0b3e177b49 |
child 70382 | 23ba5a638e6d |
--- a/src/Tools/jEdit/src/jedit_sessions.scala Wed Apr 10 14:43:29 2019 +0200 +++ b/src/Tools/jEdit/src/jedit_sessions.scala Wed Apr 10 15:10:43 2019 +0200 @@ -29,7 +29,7 @@ val options1 = Isabelle_System.getenv("JEDIT_BUILD_MODE") match { case "default" => options - case mode => options.bool.update("system_heaps", mode == "" | mode == "system") + case mode => options.bool.update("system_heaps", mode == "system") } val options2 =