Comment #14 on issue 1005 by [email protected]: syntax highlighting in the docs
http://code.google.com/p/lilypond/issues/detail?id=1005
I also think 2578 as more useful than syntax highlighting but I don't
currently see that the implementation of one would interfere with the
implementation of the other.
The worst that can happen is that we have implementations of both and then
need to choose which of the two to use for which format of our manuals.
But frankly, I think that integrating either with the manual producing
process is probably trickier than _combining_ the two.
So I don't think that we should bother blocking either issue for the
other. If anybody wants to work on either, that's going to be an
improvement.
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings