equal
deleted
inserted
replaced
22 } |
22 } |
23 else |
23 else |
24 { |
24 { |
25 w=(int)(MIN_EDGE_WIDTH+(v-min)/(max-min)*(MAX_EDGE_WIDTH-MIN_EDGE_WIDTH)); |
25 w=(int)(MIN_EDGE_WIDTH+(v-min)/(max-min)*(MAX_EDGE_WIDTH-MIN_EDGE_WIDTH)); |
26 } |
26 } |
27 edgesmap[i]->property_width_units().set_value(w); |
27 edgesmap[i]->setLineWidth(w); |
28 } |
28 } |
29 } |
29 } |
30 else |
30 else |
31 { |
31 { |
32 int w=(int)actual_map[edge]; |
32 int w=(int)actual_map[edge]; |
33 if(w>=0) |
33 if(w>=0) |
34 { |
34 { |
35 edgesmap[edge]->property_width_units().set_value(w); |
35 edgesmap[edge]->setLineWidth(w); |
36 } |
36 } |
37 } |
37 } |
38 return 0; |
38 return 0; |
39 } |
39 } |
40 |
40 |
60 } |
60 } |
61 else |
61 else |
62 { |
62 { |
63 w=(int)(MIN_EDGE_WIDTH+(v-min)/(max-min)*(MAX_EDGE_WIDTH-MIN_EDGE_WIDTH)); |
63 w=(int)(MIN_EDGE_WIDTH+(v-min)/(max-min)*(MAX_EDGE_WIDTH-MIN_EDGE_WIDTH)); |
64 } |
64 } |
65 edgesmap[i]->property_width_units().set_value(w); |
65 edgesmap[i]->setLineWidth(w); |
66 } |
66 } |
67 } |
67 } |
68 else |
68 else |
69 { |
69 { |
70 int w=(int)(*actual_map)[edge]; |
70 int w=(int)(*actual_map)[edge]; |
71 if(w>=0) |
71 if(w>=0) |
72 { |
72 { |
73 edgesmap[edge]->property_width_units().set_value(w); |
73 edgesmap[edge]->setLineWidth(w); |
74 } |
74 } |
75 } |
75 } |
76 return 0; |
76 return 0; |
77 }; |
77 }; |
78 |
78 |
103 } |
103 } |
104 else |
104 else |
105 { |
105 { |
106 color.set_rgb_p (0, 100, 0); |
106 color.set_rgb_p (0, 100, 0); |
107 } |
107 } |
108 edgesmap[i]->property_fill_color_gdk().set_value(color); |
108 edgesmap[i]->setFillColor(color); |
109 } |
109 } |
110 } |
110 } |
111 else |
111 else |
112 { |
112 { |
113 Gdk::Color color; |
113 Gdk::Color color; |
121 else |
121 else |
122 { |
122 { |
123 color.set_rgb_p (0, 100, 0); |
123 color.set_rgb_p (0, 100, 0); |
124 } |
124 } |
125 |
125 |
126 edgesmap[edge]->property_fill_color_gdk().set_value(color); |
126 edgesmap[edge]->setFillColor(color); |
127 } |
127 } |
128 return 0; |
128 return 0; |
129 }; |
129 }; |
130 |
130 |
131 int GraphDisplayerCanvas::resetEdgeColor (Edge edge) |
131 int GraphDisplayerCanvas::resetEdgeColor (Edge edge) |
154 } |
154 } |
155 else |
155 else |
156 { |
156 { |
157 color.set_rgb_p (0, 100, 0); |
157 color.set_rgb_p (0, 100, 0); |
158 } |
158 } |
159 edgesmap[i]->property_fill_color_gdk().set_value(color); |
159 edgesmap[i]->setFillColor(color); |
160 } |
160 } |
161 } |
161 } |
162 else |
162 else |
163 { |
163 { |
164 Gdk::Color color; |
164 Gdk::Color color; |
172 else |
172 else |
173 { |
173 { |
174 color.set_rgb_p (0, 100, 0); |
174 color.set_rgb_p (0, 100, 0); |
175 } |
175 } |
176 |
176 |
177 edgesmap[edge]->property_fill_color_gdk().set_value(color); |
177 edgesmap[edge]->setFillColor(color); |
178 } |
178 } |
179 return 0; |
179 return 0; |
180 }; |
180 }; |
181 |
181 |
182 int GraphDisplayerCanvas::changeEdgeText (std::string mapname, Edge edge) |
182 int GraphDisplayerCanvas::changeEdgeText (std::string mapname, Edge edge) |