On 2011/12/29 06:45:53, Graham Percival wrote:
First thought: I'm a bit leery of adding a "push to staging", since: 1. that clutters up the interface. Sure, it's just one more button,
but OTOH
that's 25% more buttons. :)
It would seem to me that this button need only appear when you have told the configuration (is there one?) that you are a developer. http://codereview.appspot.com/5504092/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
