--- a/src/Tools/jEdit/src/jedit_rendering.scala Tue Mar 14 21:43:54 2017 +0100
+++ b/src/Tools/jEdit/src/jedit_rendering.scala Tue Mar 14 21:54:46 2017 +0100
@@ -456,7 +456,7 @@
snapshot.select(range, JEdit_Rendering.bullet_elements, _ =>
{
case Text.Info(_, Protocol.ML_Breakpoint(breakpoint)) =>
- PIDE.debugger.active_breakpoint_state(breakpoint).map(b =>
+ PIDE.session.debugger.active_breakpoint_state(breakpoint).map(b =>
if (b) breakpoint_enabled_color else breakpoint_disabled_color)
case _ => Some(bullet_color)
})