# HG changeset patch
# User wenzelm
# Date 1730560262 -3600
# Node ID 177e6bb67e90dc479e2e84c2d37482723fafd4fb
# Parent  6a4d718365494f1de1f25075a982201197a1f19e
tuned: remove redundant checks;

diff -r 6a4d71836549 -r 177e6bb67e90 src/Tools/jEdit/src/debugger_dockable.scala
--- a/src/Tools/jEdit/src/debugger_dockable.scala	Sat Nov 02 16:08:26 2024 +0100
+++ b/src/Tools/jEdit/src/debugger_dockable.scala	Sat Nov 02 16:11:02 2024 +0100
@@ -76,12 +76,9 @@
         update_vals()
       }
 
-      override def handle_resize(): Unit =
-        GUI_Thread.require { pretty_text_area.zoom(zoom) }
+      override def handle_resize(): Unit = pretty_text_area.zoom(zoom)
 
       override def handle_update(): Unit = {
-        GUI_Thread.require {}
-
         val new_snapshot = PIDE.editor.current_node_snapshot(view).getOrElse(current_snapshot)
         val (new_threads, new_output) = debugger.status(tree_selection())