10a12,12
> import CH.ifa.draw.util.*;
10,10c11,11
< import java.io.*;
---
> import java.io.*;
103,108d103
<      * Gets the current display update strategy.
<      * @see Painter
<      */
<     public Painter getDisplayUpdate();
< 
<     /**
219,219c214,214
<      * Sets the background color of the DrawingView
---
>      * Gets the background color of the DrawingView
270,281d264
< 
< 	/**
< 	 * 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);