On Thu, Mar 12, 2009 at 11:37 AM, Edward K. Ream <[email protected]>wrote:
> > 2. The write_strips_blank_lines options serves no good purpose and > should be removed. > I forgot to mention a further problem with this setting: it doesn't play well when two different Leo users have different values for this setting. Whitespace will come into and out of existence as the two users make their commits. It's the worst of all worlds. The way out is simply to have this "setting" always be True. In the example in the original bug report (an unexpected diff in backlink.py), the diff can happen at most once. This is simple and good, and will suffice for all but the most diff-obsessed. 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 -~----------~----~----~----~------~----~------~--~---
