src/Pure/Tools/debugger.scala

--- a/src/Pure/Tools/debugger.scala	Sun Aug 23 22:47:01 2015 +0200
+++ b/src/Pure/Tools/debugger.scala	Mon Aug 24 00:20:20 2015 +0200
@@ -222,6 +222,8 @@
     })
   }
 
+  def focus(): Option[Position.T] = global_state.value.focus
+
   def set_focus(focus: Option[Position.T])
   {
     global_state.change(_.set_focus(focus))