10,10c11,11
< import java.util.*;
---
> import java.util.*;
12,12d10
< import CH.ifa.draw.util.*;
103a103,108
>      * Gets the current display update strategy.
>      * @see Painter
>      */
>     public Painter getDisplayUpdate();
> 
>     /**
214,214c219,219
<      * Gets the background color of the DrawingView
---
>      * Sets the background color of the DrawingView
264a270,281
> 
> 	/**
> 	 * Add a listener for selection changes in this DrawingView.
> 	 * @param fsl jhotdraw.framework.FigureSelectionListener
> 	 */
> 	public void addFigureSelectionListener(FigureSelectionListener fsl);
> 	
> 	/**
> 	 * Remove a listener for selection changes in this DrawingView.
> 	 * @param fsl jhotdraw.framework.FigureSelectionListener
> 	 */
> 	public void removeFigureSelectionListener(FigureSelectionListener fsl);