etc/symbols

--- a/etc/symbols	Tue Sep 29 12:12:34 2020 +0200
+++ b/etc/symbols	Tue Sep 29 13:19:34 2020 +0200
@@ -422,6 +422,7 @@
 \<^scala_function>      argument: cartouche
 \<^scala_method>        argument: cartouche
 \<^scala_object>        argument: cartouche
+\<^scala_thread>        argument: cartouche
 \<^scala_type>          argument: cartouche
 \<^session>             argument: cartouche
 \<^simproc>             argument: cartouche