On 16.12.2016 08:30, Marc Hohl wrote:
Am 16.12.2016 um 02:09 schrieb Alexander Kobel:Hi all.[...]What about hide-below-length or hide-if-shorter-than?minimum-visibility?
We’re getting closer… I think ‘threshold’ describes the functionality well; maybe visibility-threshold? printing-threshold? extender-threshold?
Best, Simon _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
