# HG changeset patch
# User wenzelm
# Date 1674055375 -3600
# Node ID 60b465c4463cfe2574d82484e3e41f42b3b632e4
# Parent  19a7046f90f9e04f0a6f81fa8c387595ee53d8e9
tuned GUI;

diff -r 19a7046f90f9 -r 60b465c4463c src/Tools/jEdit/src/document_dockable.scala
--- a/src/Tools/jEdit/src/document_dockable.scala	Wed Jan 18 16:15:41 2023 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Wed Jan 18 16:22:55 2023 +0100
@@ -318,6 +318,7 @@
     Wrap_Panel(List(reset_button, purge_button))
 
   private val theories = new Theories_Status(view, document = true)
+  private val theories_pane = new ScrollPane(theories.gui)
 
   private def refresh_theories(): Unit = {
     val domain = PIDE.editor.document_theories().toSet
@@ -328,7 +329,7 @@
   private val input_page =
     new TabbedPane.Page("Input", new BorderPanel {
       layout(theories_controls) = BorderPanel.Position.North
-      layout(theories.gui) = BorderPanel.Position.Center
+      layout(theories_pane) = BorderPanel.Position.Center
     }, "Selection and status of document theories")
 
   private val output_controls =