# HG changeset patch
# User ladanyi
# Date 1178138038 0
# Node ID c7ae8642a8d84262f7567b21d7b68194ae97e731
# Parent  128195bbab739eb60f4bbd8d0535c485d83c9435
Bugfix.

diff -r 128195bbab73 -r c7ae8642a8d8 graph_displayer_canvas-event.cc
--- a/graph_displayer_canvas-event.cc	Thu Mar 29 12:17:36 2007 +0000
+++ b/graph_displayer_canvas-event.cc	Wed May 02 20:33:58 2007 +0000
@@ -941,7 +941,7 @@
       //that phase
       //we normalize that to one, to be able to give percentage
       //value for the function
-      double rel_pos=(pos-(phase/6))*6;
+      double rel_pos=(pos-(phase/6.0))*6.0;
 
       switch(phase)
 	{
@@ -961,7 +961,7 @@
 	  color.set_rgb_p (0, 1-rel_pos, 1);
 	  break;
 	case 5:
-	  color.set_rgb_p ((rel_pos/3), 0, 1);
+	  color.set_rgb_p ((rel_pos/3.0), 0, 1);
 	  break;
 	default:
 	  std::cout << "Wrong phase: " << phase << " " << pos << std::endl;