--- a/src/Tools/jEdit/src/session_dockable.scala Fri Aug 31 14:35:04 2012 +0200
+++ b/src/Tools/jEdit/src/session_dockable.scala Fri Aug 31 14:52:29 2012 +0200
@@ -10,7 +10,7 @@
import isabelle._
import scala.actors.Actor._
-import scala.swing.{FlowPanel, Button, TextArea, Label, ListView, Alignment, Component}
+import scala.swing.{FlowPanel, Button, TextArea, Label, ListView, Alignment, ScrollPane, Component}
import scala.swing.event.{ButtonClicked, MouseClicked, SelectionChanged}
import java.lang.System
@@ -36,7 +36,7 @@
status.peer.setLayoutOrientation(JList.VERTICAL_WRAP)
status.selection.intervalMode = ListView.IntervalMode.Single
- set_content(status)
+ set_content(new ScrollPane(status))
/* controls */