>>>>> "Georg" == Georg Baum <[EMAIL PROTECTED]> writes:
Georg> I hope that _everybody_ now realizes that these innocent small Georg> enhancements do not come for free. They eat real time, and the Georg> current state is bad because they are not implemented properly Georg> (hardcoded colors, no consensus about the dock stuff) Agreed. Naive syntax highlighting is trivial, but then people demand that it actually works in all cases. And getting it right _is_ time consuming. I agree with Georg that it was an error. Adding 10 half finished features is not always progress. JMarc PS: next are the complaints that the preamble editbox does not have syntax highlighting.
