On 2017/09/27 04:55:31, wl_gnu.org wrote:
> Somehow, concisely say "get-rid-of-anything-extra" versus > "keep-everything-that-comes?" > > --min-fonts and --max-fonts > --compress-fonts and --expand-fonts
I would rather prefer --compress-fonts and --no-compress-fonts. This is easier to remember (and rather common in GNU packages).
> --drop-fonts and --keep-fonts > --trim-fonts and --leave-fonts > --compact-fonts and --full-fonts > --few-fonts and --all-fonts
--optimize-fonts and --no-optimize-fonts
Werner
Werner beat me to it. --optimize-fonts for me too please. Although from a casual user's point of view why would I NOT want to 'optimize' [anything]? I.e why wouldn't this be the [silent] default (i.e. no switch required) and we just have the '--no-optimize-fonts' option available. I am assuming it might be a time-taken-to-process-the-PDF thing (I do apologise for not really being able to follow the thread here). Anyway, I don't need any justification or explanation. I just came by to '+1' Werner's suggestion really. James https://codereview.appspot.com/325630043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel