+void
+Axis_group_element::do_substitute_element_pointer (Score_element*o,
+ Score_element*n)
+{
+ int i;
+ while ((i = elem_l_arr_.find_i (o))>=0)
+ if (n)
+ elem_l_arr_[i] = n;
+ else
+ elem_l_arr_.del (i);
+}
+
+Interval
+Axis_group_element::do_height () const
+{
+ return Graphical_axis_group::extent (Y_AXIS);
+}