Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned GUI;
authorwenzelm
Thu, 01 Sep 2022 10:58:46 +0200
changeset 76036 181bf8567f41
parent 76035 97060c904a08
child 76038 46eea084f393
tuned GUI;
src/Tools/jEdit/src/document_dockable.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle