From 16ba002356665dada9fc6ff33567923c601a0d27 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Fri, 29 Apr 2011 15:26:23 +0200
Subject: [PATCH] move fold example to the java mode

---
 demo/demo.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/demo/demo.js b/demo/demo.js
index 8d57481e..9e3cc7bb 100644
--- a/demo/demo.js
+++ b/demo/demo.js
@@ -97,9 +97,6 @@ exports.launch = function(env) {
     docs.js = new EditSession(document.getElementById("jstext").innerHTML);
     docs.js.setMode(new JavaScriptMode());
     docs.js.setUndoManager(new UndoManager());
-    docs.js.addFold("args...", new Range(0, 13, 0, 18));
-    docs.js.addFold("bar...", new Range(2, 20, 2, 25));
-    docs.js.addFold("foo...", new Range(1, 10, 2, 10));
 
     docs.css = new EditSession(document.getElementById("csstext").innerHTML);
     docs.css.setMode(new CssMode());
@@ -120,6 +117,7 @@ exports.launch = function(env) {
     docs.java = new EditSession(document.getElementById("javatext").innerHTML);
     docs.java.setMode(new JavaMode());
     docs.java.setUndoManager(new UndoManager());
+    docs.java.addFold("...", new Range(8, 44, 13, 4));
 
     docs.ruby = new EditSession(document.getElementById("rubytext").innerHTML);
     docs.ruby.setMode(new RubyMode());