src/Tools/jEdit/src/theories_dockable.scala

 
 
 import isabelle._
 
 import scala.swing.{Button, TextArea, Label, ListView, Alignment,
-  ScrollPane, Component, CheckBox, BorderPanel}
+  ScrollPane, Component, CheckBox, BorderPanel, BoxPanel, Orientation}
 import scala.swing.event.{MouseClicked, MouseMoved}
 
 import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension}
 import javax.swing.{JList, BorderFactory, UIManager}
 import javax.swing.border.{BevelBorder, SoftBevelBorder}

         BorderFactory.createCompoundBorder(
           BorderFactory.createLineBorder(color, thickness1),
           BorderFactory.createEmptyBorder(thickness2, thickness2, thickness2, thickness2))
     }
 
-    layout(theory_required) = BorderPanel.Position.West
+    val required = new BoxPanel(Orientation.Horizontal)
+    required.contents += theory_required
+    required.contents += document_required
+
+    layout(required) = BorderPanel.Position.West
     layout(label) = BorderPanel.Position.Center
-    layout(document_required) = BorderPanel.Position.East
   }
 
   private class Node_Renderer extends ListView.Renderer[Document.Node.Name] {
     def componentFor(
       list: ListView[_ <: isabelle.Document.Node.Name],