On Wednesday, October 26, 2016 at 9:50:38 AM UTC-5, Edward K. Ream wrote: > > Rev f43832d > <https://github.com/leo-editor/leo-editor/commit/f43832da82a761634d8eb466beb3bd045c34c29f> > > completes #328 <https://github.com/leo-editor/leo-editor/issues/328>: > Allow pylint to run in the background without waiting. >
Rev ef35ae8 <https://github.com/leo-editor/leo-editor/commit/ef35ae835b5bee6675664c3bb42f9f6e746ea01d> is a rewrite of the code. 1. g.app.backgroundManager (bm) is a new singleton BackgroundManager instance. This manages a global lists of callbacks to be called at idle time. Any kind of code can call bm.add_callback to schedule code for idle time. 2. checkerCommands.py now defines a PylintBackgroundManager class that handles the details of switching background pylint checkers. This greatly simplifies PylintCommand.run_pylint. In short, it's now easy to schedule code to be run at idle time. Edward -- 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
