--- a/src/Pure/System/build_dialog.scala Fri Dec 14 16:45:41 2012 +0100
+++ b/src/Pure/System/build_dialog.scala Fri Dec 14 17:01:38 2012 +0100
@@ -32,7 +32,7 @@
Isabelle_System.default_logic(logic,
if (logic_option != "") options.string(logic_option) else "")
- if (Build.build(Build.Ignore_Progress, options, no_build = true,
+ if (Build.build(Build.Ignore_Progress, options, build_heap = true, no_build = true,
more_dirs = more_dirs, sessions = List(session)) == 0) sys.exit(0)
else
Swing_Thread.later {
@@ -42,7 +42,8 @@
top.pack()
val point = GraphicsEnvironment.getLocalGraphicsEnvironment().getCenterPoint()
- top.location = new Point(point.x - top.size.width / 2, point.y - top.size.height / 2)
+ top.location =
+ new Point(point.x - top.size.width / 2, point.y - top.size.height / 2)
top.visible = true
}