# HG changeset patch
# User wenzelm
# Date 1675191058 -3600
# Node ID b899d7840b49da8397141cbea3399fab07061b75
# Parent  59a8b9a341aa1f05e826faa7cc4c4192357081a6
clarified GUIs: keep related buttons together;

diff -r 59a8b9a341aa -r b899d7840b49 src/Tools/jEdit/src/document_dockable.scala
--- a/src/Tools/jEdit/src/document_dockable.scala	Tue Jan 31 19:43:45 2023 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala	Tue Jan 31 19:50:58 2023 +0100
@@ -296,12 +296,6 @@
       delay_auto_build.revoke()
   }
 
-  private val load_button =
-    new GUI.Button("Load") {
-      tooltip = "Load document theories"
-      override def clicked(): Unit = PIDE.editor.document_select_all(set = true)
-    }
-
   private val auto_build_button =
     new JEdit_Options.Bool_GUI(document_auto, "Auto") {
       tooltip = Word.capitalize(document_auto.description)
@@ -330,7 +324,7 @@
     }
 
   private val controls =
-    Wrap_Panel(List(document_session, process_indicator.component, load_button,
+    Wrap_Panel(List(document_session, process_indicator.component,
       auto_build_button, build_button, view_button, cancel_button))
 
   add(controls.peer, BorderLayout.NORTH)
@@ -340,9 +334,15 @@
 
   /* message pane with pages */
 
-  private val reset_button =
-    new GUI.Button("Reset") {
-      tooltip = "Deselect document theories"
+  private val all_button =
+    new GUI.Button("All") {
+      tooltip = "Select all document theories"
+      override def clicked(): Unit = PIDE.editor.document_select_all(set = true)
+    }
+
+  private val none_button =
+    new GUI.Button("None") {
+      tooltip = "Deselect all document theories"
       override def clicked(): Unit = PIDE.editor.document_select_all(set = false)
     }
 
@@ -351,8 +351,8 @@
     override def clicked(): Unit = PIDE.editor.purge()
   }
 
-  private val theories_controls =
-    Wrap_Panel(List(reset_button, purge_button))
+  private val input_controls =
+    Wrap_Panel(List(all_button, none_button, purge_button))
 
   private val theories = new Theories_Status(view, document = true)
   private val theories_pane = new ScrollPane(theories.gui)
@@ -365,7 +365,7 @@
 
   private val input_page =
     new TabbedPane.Page("Input", new BorderPanel {
-      layout(theories_controls) = BorderPanel.Position.North
+      layout(input_controls) = BorderPanel.Position.North
       layout(theories_pane) = BorderPanel.Position.Center
     }, "Selection and status of document theories")