On Sunday, April 5, 2015 at 11:43:44 AM UTC-5, Edward K. Ream wrote:
>
> On Sun, Apr 5, 2015 at 7:07 AM, Edward K. Ream <[email protected]> 
> wrote:
>
> Leo shall soon sport a new 
>> ​[​
>> ExternalFiles
>> ​Controller​] class in leoApp.py.  This class will eliminate duplicate 
>> code and will simplify the code in other ways.
>>
>
> ​Rev 84cb243 contains the first draft. All tests pass. Please report any 
> problems immediately.  BTW, tracing is on in efc.has_changed, the key 
> method that checks external files for changes.
>

>From the checkin log of rev 666579a 

QQQ
Several hacks to get rid of unwanted warnings after one of Leo's source 
files has been changed outside of Leo. The hacks appear to work, but there 
is almost surely no more need for c.checkFileTimeStamp and related code.
QQQ

So the c.checkFileTimeStamp stuff will soon become part of the 
​ExternalFiles​Controller​ class...

These kinds of hairy details are the reason why the new class was needed.

EKR

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to