Fix usage of Random. (Random's doc should possibly be improved.)
1.1 --- a/graph_displayer_canvas.cc Thu Oct 19 07:49:40 2006 +0000
1.2 +++ b/graph_displayer_canvas.cc Sun Oct 22 09:24:15 2006 +0000
1.3 @@ -263,9 +263,8 @@
1.4 {
1.5 NodeIt i((mytab.mapstorage).graph);
1.6
1.7 - double r=Random().getReal();
1.8 -
1.9 - dim2::Point<double> init(init_vector_length*sin(r),init_vector_length*cos(r));
1.10 + dim2::Point<double> init(init_vector_length*rnd(),
1.11 + init_vector_length*rnd());
1.12 moveNode(init.x, init.y, nodesmap[i], i);
1.13 was_redesigned=true;
1.14 }