src/Tools/jEdit/src/pretty_text_area.scala

     current_base_snapshot = base_snapshot
     current_body = body
     refresh()
   }
 
+  text_area.getBuffer.setTokenMarker(new Token_Markup.Marker(true, None))
   rich_text_area.activate()
   layout(Component.wrap(text_area)) = BorderPanel.Position.Center
 }