src/Tools/jEdit/src/fold_handling.scala

--- a/src/Tools/jEdit/src/fold_handling.scala	Thu Oct 16 12:24:19 2014 +0200
+++ b/src/Tools/jEdit/src/fold_handling.scala	Thu Oct 16 21:24:42 2014 +0200
@@ -27,7 +27,7 @@
       }
 
     override def getFoldLevel(buffer: JEditBuffer, line: Int, seg: Segment): Int =
-      Token_Markup.buffer_line_depth(buffer, line)
+      Token_Markup.buffer_line_nesting(buffer, line).depth_before
   }