This was discussed here:
http://lists.gnu.org/archive/html/lilypond-devel/2011-03/msg00128.html
Not many people gave their opinions;
Carl prefers not changing this, but he doesn't feel strongly about it,
Werner is not sure, but feels a bit more like shortening the flag,
Mike agrees to make the change.
My opinion is that it should be changed.
save flagspace, total_depth, flag_count;
flag_count = 1;
- total_depth# = 2.85 staff_space#;
+ total_depth# = 2.75 staff_space#;
flare = staff_space;
flagspace# = .9 staff_space#;
- hip_depth_ratio = .72;
+ hip_depth_ratio = .74;
hip_width# = downflag_width# - hip_thickness# / 2;
- foot_width_ratio = .8;
+ foot_width_ratio = .85;
(flag_count - 1) * flagspace# + foot_depth# = total_depth#;