--- a/Documentation/Source/eric5.E5Graphics.E5GraphicsView.html Tue Sep 04 11:41:07 2012 +0200 +++ b/Documentation/Source/eric5.E5Graphics.E5GraphicsView.html Sat Sep 08 18:28:46 2012 +0200 @@ -238,10 +238,10 @@ </p><dl> <dt><i>width</i></dt> <dd> -width for the scene (integer) +width for the scene (float) </dd><dt><i>height</i></dt> <dd> -height for the scene (integer) +height for the scene (float) </dd> </dl><a NAME="E5GraphicsView.setZoom" ID="E5GraphicsView.setZoom"></a> <h4>E5GraphicsView.setZoom</h4>