1.1 --- a/src/Tools/jEdit/src/pretty_text_area.scala	Fri Sep 21 20:54:48 2012 +0200
     1.2 +++ b/src/Tools/jEdit/src/pretty_text_area.scala	Fri Sep 21 21:24:33 2012 +0200
     1.3 @@ -79,7 +79,7 @@
     1.4      getPainter.setStyles(SyntaxUtilities.loadStyles(current_font_family, current_font_size))
     1.5  
     1.6      val font_metrics = getPainter.getFontMetrics(font)
     1.7 -    val margin = (getWidth / (font_metrics.charWidth(Pretty.spc) max 1) - 4) max 20
     1.8 +    val margin = (getWidth / (font_metrics.charWidth(Pretty.spc) max 1) - 2) max 20
     1.9  
    1.10      val base_snapshot = current_base_snapshot
    1.11      val formatted_body = Pretty.formatted(current_body, margin, Pretty.font_metric(font_metrics))