proper indentation (relevant for scala3);

--- a/src/Tools/jEdit/src/symbols_dockable.scala	Sun Apr 03 09:07:37 2022 +0000
+++ b/src/Tools/jEdit/src/symbols_dockable.scala	Mon Apr 04 22:04:20 2022 +0200
@@ -139,7 +139,7 @@
         revalidate()
         repaint()
       }
-      search_field.reactions += { case ValueChanged(_) => search_delay.invoke() }
+    search_field.reactions += { case ValueChanged(_) => search_delay.invoke() }
   }