Made access to layers synchronized

src/schule/ngb/zm/Zeichenleinwand.java

@@ -29,10 +29,12 @@ public class Zeichenleinwand extends Canvas {
 
 		// Liste der Ebenen initialisieren und die Standardebenen einfügen
 		layers = new LinkedList<>();
+		synchronized( layers ) {
 			layers.add(new ColorLayer(Constants.STD_BACKGROUND));
 			layers.add(new DrawingLayer());
 			layers.add(new ShapesLayer());
 		}
+	}
 
 	/**
 	 * Ändert die Größe der Zeichenleinwand auf die angegebene Größe in Pixeln.
@@ -47,10 +49,12 @@ public class Zeichenleinwand extends Canvas {
 		this.setPreferredSize(this.getSize());
 		this.setMinimumSize(this.getSize());
 
+		synchronized( layers ) {
 			for( Layer layer : layers ) {
 				layer.setSize(width, height);
 			}
 		}
+	}
 
 	/**
 	 * Fügt der Zeichenleinwand eine Ebene hinzu, die oberhalb aller bisherigen
@@ -59,10 +63,12 @@ public class Zeichenleinwand extends Canvas {
 	 */
 	public void addLayer( Layer layer ) {
 		if( layer != null ) {
+			synchronized( layers ) {
 				layer.setSize(getWidth(), getHeight());
 				layers.add(layer);
 			}
 		}
+	}
 
 	/**
 	 * Fügt der Zeichenleinwand eine Ebene an einer bestimmten Stelle hinzu.
@@ -71,10 +77,12 @@ public class Zeichenleinwand extends Canvas {
 	 */
 	public void addLayer( int i, Layer layer ) {
 		if( layer != null ) {
+			synchronized( layers ) {
 				layer.setSize(getWidth(), getHeight());
 				layers.add(i, layer);
 			}
 		}
+	}
 
 	/**
 	 * Gibt die Liste der bisher hinzugefügten Ebenen zurück.
@@ -140,10 +148,12 @@ public class Zeichenleinwand extends Canvas {
 	}
 
 	public void dispose() {
+		synchronized( layers ) {
 			for( Layer layer : layers ) {
 				layer.dispose();
 			}
 		}
+	}
 
 	@Override
 	public void paint( Graphics g ) {
@@ -163,9 +173,11 @@ public class Zeichenleinwand extends Canvas {
 						Graphics2D g2d = (Graphics2D) strategy.getDrawGraphics();
 						g2d.clearRect(0, 0, getWidth(), getHeight());
 
+						synchronized( layers ) {
 							for( Layer layer : layers ) {
 								layer.draw(g2d);
 							}
+						}
 
 						g2d.dispose();
 					} while( strategy.contentsRestored() );