On Fri, Oct 1, 2010 at 7:01 AM, Ville M. Vainio <[email protected]> wrote:
> Frankly, I'm not sure we want this feature. The document should not > have a say in what editor you use, it's up to the USER to determine > this. A good point. It's just one more mostly useless setting, and I agree with your general antipathy to such things. In this case, however, I think we can treat the setting as an easter egg. But if you feel strongly enough, I can remove the one line of code. Any other comments? Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
