# HG changeset patch
# User wenzelm
# Date 1439321051 -7200
# Node ID bca464396b80b84432a6fd424204eb2bf929e836
# Parent  9f185acfdcb860149be96e20a8a65b8687f08a3d
suppress threads without debug state;

diff -r 9f185acfdcb8 -r bca464396b80 src/Pure/Tools/debugger.scala
--- a/src/Pure/Tools/debugger.scala	Tue Aug 11 21:15:29 2015 +0200
+++ b/src/Pure/Tools/debugger.scala	Tue Aug 11 21:24:11 2015 +0200
@@ -45,7 +45,8 @@
       threads.getOrElse(thread_name, Nil)
 
     def update_thread(thread_name: String, debug_states: List[Debug_State]): State =
-      copy(threads = threads + (thread_name -> debug_states))
+      if (debug_states.isEmpty) copy(threads = threads - thread_name)
+      else copy(threads = threads + (thread_name -> debug_states))
 
     def get_output(thread_name: String): Command.Results =
       output.getOrElse(thread_name, Command.Results.empty)