On Mon, Jun 30, 2014 at 4:31 AM, Fidel N <[email protected]> wrote:
> Still, idle is not yet useful because of firing several times the command
> and not respecting the time.
Let's investigate the second problem (not respecting idle time).
What happens for you if you change::
timer.start(1000)
to::
timer.start(0)
in @file ../plugins/qtGui.py-->Gui wrapper-->
class LeoQtGui-->Idle Time (qtGui)-->
qtGui.setIdleTimeHook & setIdleTimeHookAfterDelay
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 http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
