# HG changeset patch
# User one
# Date 1385323108 -32400
# Node ID dcaaecaed9eecebeb2d8cec969794b06c48b80d6
# Parent  7030d9935796ef04af3e296434ed9ab4b3bc5595
Modified getLocalTreeEditor

diff -r 7030d9935796 -r dcaaecaed9ee src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java	Fri Nov 22 04:37:19 2013 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/DefaultJungleTree.java	Mon Nov 25 04:58:28 2013 +0900
@@ -35,6 +35,12 @@
 	}
 
 	@Override
+	public JungleTreeEditor getLocalTreeEditor()
+	{
+		return getTreeEditor();
+	}
+	
+	@Override
 	public Node getRootNode()
 	{
 		TreeContext<T> tc = repository.get();
diff -r 7030d9935796 -r dcaaecaed9ee src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java	Fri Nov 22 04:37:19 2013 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/JungleTree.java	Mon Nov 25 04:58:28 2013 +0900
@@ -5,5 +5,6 @@
 public interface JungleTree
 {
 	public JungleTreeEditor getTreeEditor();
+	public JungleTreeEditor getLocalTreeEditor();
 	public Node getRootNode();
 }