Merge pull request #67 from chmullig/master

Made more MarkerManager's attributes protected, to enable more flexible sub-classing.
tillnagel · Aug 5, 2013 · 5c0e3f3 · 5c0e3f3
2 parents c4e9c9a + 550fd23
commit 5c0e3f3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/de/fhpotsdam/unfolding/marker/MarkerManager.java b/src/de/fhpotsdam/unfolding/marker/MarkerManager.java
@@ -10,8 +10,8 @@
  */
 public class MarkerManager<E extends Marker> {
 
-	UnfoldingMap map;
-	List<E> markers;
+	protected UnfoldingMap map;
+	protected List<E> markers;
 	protected boolean bEnableDrawing;
 
 	/**