# HG changeset patch
# User wenzelm
# Date 1439238840 -7200
# Node ID 0165aac83cdbfcf6b6d6a10199af2ff94c744f87
# Parent  d8d51f956f052ffb0cdc78d1aa16e219699f540e
clarified default selection;

diff -r d8d51f956f05 -r 0165aac83cdb src/Tools/jEdit/src/debugger_dockable.scala
--- a/src/Tools/jEdit/src/debugger_dockable.scala	Mon Aug 10 22:21:55 2015 +0200
+++ b/src/Tools/jEdit/src/debugger_dockable.scala	Mon Aug 10 22:34:00 2015 +0200
@@ -168,7 +168,9 @@
 
   private def update_tree(thread_entries: List[Debugger_Dockable.Thread_Entry])
   {
-    val old_thread_selection = thread_selection()
+    val old_thread_selection =
+      thread_selection() orElse
+      thread_entries.collectFirst { case t if t.debug_states.nonEmpty => t.thread_name }
 
     tree.clearSelection
     root.removeAllChildren