# HG changeset patch
# User wenzelm
# Date 1662022726 -7200
# Node ID 181bf8567f41f4b9b5fce1b25c5b77f349d1da8f
# Parent  97060c904a08356509927fcda1b4e3beb8f68189
tuned GUI;

diff -r 97060c904a08 -r 181bf8567f41 src/Tools/jEdit/src/document_dockable.scala
--- a/src/Tools/jEdit/src/document_dockable.scala	Thu Sep 01 10:54:12 2022 +0200
+++ b/src/Tools/jEdit/src/document_dockable.scala	Thu Sep 01 10:58:46 2022 +0200
@@ -209,7 +209,7 @@
       layout(log_area) = BorderPanel.Position.Center
     }, "Raw log of build process")
 
-  message_pane.pages ++= List(output_page, log_page)
+  message_pane.pages ++= List(log_page, output_page)
 
   set_content(message_pane)