I don't feel strongly about the old design being bad.
The new design looks mostly fine to me. I feel like the table of contents bar at the left is too wide. But I would be fine with it being like this. Carl https://codereview.appspot.com/322070043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
