[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: jit-lock timer etc.
From: |
Chong Yidong |
Subject: |
Re: jit-lock timer etc. |
Date: |
Fri, 25 Aug 2006 17:27:49 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
Richard Stallman <address@hidden> writes:
> > However, returning the value in floating point might be a good method.
>
> That would be much better and cleaner, IMO.
> And we can leave time-to-seconds where it is!
>
> > But if we do that, we should call it float-idle-time.
>
> Why?
>
> For consistency with float-time.
>
> I see Yidong has already fixed the bug, by extending
> run-with-idle-time to handle this type of value. But it would still
> be useful to add float-idle-time. Would you like to do that?
Is it really necessary to have a separate function for this? It's
just the same as
(float-time (current-idle-time))
- Re: jit-lock timer etc., (continued)
- Re: jit-lock timer etc., martin rudalics, 2006/08/23
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/23
- Re: jit-lock timer etc., Richard Stallman, 2006/08/24
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/24
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/24
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/24
- Re: jit-lock timer etc., Chong Yidong, 2006/08/24
- Re: jit-lock timer etc., Richard Stallman, 2006/08/25
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/25
- Re: jit-lock timer etc., Richard Stallman, 2006/08/25
- Re: jit-lock timer etc.,
Chong Yidong <=
- Re: jit-lock timer etc., Richard Stallman, 2006/08/26
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/24
- Re: jit-lock timer etc., martin rudalics, 2006/08/24
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/24
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/24
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/24
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/24
- Re: jit-lock timer etc., martin rudalics, 2006/08/24
- Re: jit-lock timer etc., Kim F. Storm, 2006/08/24
- Re: jit-lock timer etc., Chong Yidong, 2006/08/24