src/Tools/jEdit/src/jedit_rendering.scala

 
     gutter_message_content.get((0 /: pris)(_ max _))
   }
 
 
-  /* squiggly underline */
+  /* message output */
 
   def squiggly_underline(range: Text.Range): List[Text.Info[Rendering.Color.Value]] =
     message_underline_color(JEdit_Rendering.squiggly_elements, range)
-
-
-  /* message output */
 
   def line_background(range: Text.Range): Option[(Rendering.Color.Value, Boolean)] =
   {
     val results =
       snapshot.cumulate[Int](range, 0, JEdit_Rendering.line_background_elements, _ =>