proper fold painter according to jEdit options, not the hardwired default of JEditEmbeddedTextArea;

--- a/src/Tools/jEdit/src/pretty_text_area.scala	Sun May 03 20:04:38 2015 +0200
+++ b/src/Tools/jEdit/src/pretty_text_area.scala	Sun May 03 20:21:25 2015 +0200
@@ -118,7 +118,7 @@
       jEdit.getColorProperty("view.gutter.focusBorderColor"),
       jEdit.getColorProperty("view.gutter.noFocusBorderColor"),
       getPainter.getBackground)
-    getGutter.setFoldPainter(getFoldPainter)
+    getGutter.setFoldPainter(view.getTextArea.getFoldPainter)
     getGutter.setGutterEnabled(jEdit.getBooleanProperty("view.gutter.enabled"))
 
     if (getWidth > 0) {