# HG changeset patch
# User wenzelm
# Date 1730557697 -3600
# Node ID ea3cae90f76b2e15046c35fe130cbbb2653f7264
# Parent  e3b0c7aec1ed567034a59ac66e3f24e1d0443864
tuned: fewer warnings in IntelliJ IDEA;

diff -r e3b0c7aec1ed -r ea3cae90f76b src/Tools/jEdit/src/debugger_dockable.scala
--- a/src/Tools/jEdit/src/debugger_dockable.scala	Sat Nov 02 15:22:50 2024 +0100
+++ b/src/Tools/jEdit/src/debugger_dockable.scala	Sat Nov 02 15:28:17 2024 +0100
@@ -179,22 +179,22 @@
 
   private val continue_button = new GUI.Button("Continue") {
     tooltip = "Continue program on current thread, until next breakpoint"
-    override def clicked(): Unit = thread_selection().map(debugger.continue)
+    override def clicked(): Unit = thread_selection().foreach(debugger.continue)
   }
 
   private val step_button = new GUI.Button("Step") {
     tooltip = "Single-step in depth-first order"
-    override def clicked(): Unit = thread_selection().map(debugger.step)
+    override def clicked(): Unit = thread_selection().foreach(debugger.step)
   }
 
   private val step_over_button = new GUI.Button("Step over") {
     tooltip = "Single-step within this function"
-    override def clicked(): Unit = thread_selection().map(debugger.step_over)
+    override def clicked(): Unit = thread_selection().foreach(debugger.step_over)
   }
 
   private val step_out_button = new GUI.Button("Step out") {
     tooltip = "Single-step outside this function"
-    override def clicked(): Unit = thread_selection().map(debugger.step_out)
+    override def clicked(): Unit = thread_selection().foreach(debugger.step_out)
   }
 
   private val context_label = new Label("Context:") {